Las clases laterales izquierdas forman una partición de G: todo elemento de G está contenido en exactamente una y sólo una clase izquierda de "H", o dicho de otro modo, G es la unión disjunta de las clases laterales izquierdas de "H".