La operación de grupo en "G"/"N" es el producto de subconjuntos antes definido.