Al conjunto cociente de todas las clases laterales formula_54 (con formula_57) lo representaremos por formula_58, mientras que al conjunto cociente de todas las clases laterales formula_55 lo representaremos por formula_60