Projection Quotiente

Une application continue surjective q : X -> Y qui dote Y de la topologie quotient : un sous-ensemble U de Y est ouvert si et seulement si q^{-1}(U) est ouvert dans X. Autrement dit, q est finale pour les applications continues depuis X, identifiant des points selon une relation d'équivalence et faisant de Y l'espace le plus grossier rendant q continue.