Un subgrupo normal puede también ser definido como: Un subgrupo "N" de un grupo "G" es un subgrupo normal si "N" es una unión de clases de conjugación de "G".