As clases laterals de qualsiquier subgrupo H forman una partición de G; ye decir, por eixemplo, dos clases laterals por a cucha u bien son iguals u bien tienen una intersección vueda y a unión de totas as clases laterals por a cucha da G. O primer caso (que g1H = g2H) se da precisament quan g1−1g2 ∈ H, ye decir si a diferencia entre os dos elementos ye un elemento de H. Consideracions similars s'aplican a las clases laterals d'H por a dreita.