Conjunt quocient
El conjunt quocient de A per la relació d'equivalència ∼, que escriurem A/∼, és el conjunt de les classes d'equivalència de A per ∼: O sigui: <math>A/\!\!\sim\ :=\{ [a]_{\sim}; a\in A\}</math>.
El conjunt quocient de A per la relació d'equivalència ∼, que escriurem A/∼, és el conjunt de les classes d'equivalència de A per ∼: O sigui: <math>A/\!\!\sim\ :=\{ [a]_{\sim}; a\in A\}</math>.