Conjunt quocient

El conjunt quocient de $A\,$ per la relació d'equivalència $\sim \,$, que escriurem $A/\sim \,$, és el conjunt de les classes d'equivalència de $A\,$ per $\sim \,$: O sigui: $A/\sim =\left\{\sim a|a\in A\right\}\,$.