Entonces, el conjunto de las clases laterales izquierdas (que coincide con el conjunto de las clases laterales derechas) tiene una estructura de grupo respecto a la operación definida por