En términos del producto de subconjuntos, un subgrupo normal de "G" es uno que conmuta con cualquier subconjunto de "G".