Puesto que la operación deriva del producto de subconjuntos de "G", está bien definida (es decir, no depende de los representantes de la clase), asociativa, y tiene a "N" por elemento neutro.