Définition On appelle ensemble quotient de l'ensemble X pour la relation d'équivalence l'ensemble des classes d'équivalence de la relation .
On note cet ensemble X/. A tout élément de X on peut associer la classe d'équivalence corespondante. Cela définit une application