Denotamos por G/H al conjunto cociente de la relación, o sea al conjunto formado por todas las clases laterales respecto a H.