Llamamos "conjunto cociene de A por la relación ∼" al conjunto denotado por A/∼ y que está formado por todas las clases de equivalencia de la relación.