Equivalentemente, un subgrupo "N" de un grupo "G" es normal si y sólo si sus clases laterales derechas e izquierdas coinciden; esto es, "aN" = "Na" para todo "a" ∈ "G".