Para que esta operación sea cerrada, ("aN")("bN") deberá ser también una clase lateral izquierda para cualesquiera "a" y "b" en "G", lo cual se demuestra fácilmente: