Al conjunto cociente de todas las clases laterales formula_373 (con formula_142) lo representaremos por formula_377, mientras que al conjunto cociente de todas las clases laterales formula_374 lo representaremos por formula_379