Tales relaciones son definidas por particiones del grupo: una de ellas definida por las clases laterales izquierdas respecto a formula_6 y la otra definida por las clases laterales derechas.