En términos de dicha operación se puede primero definir lo que es un grupo cociente, y luego un subgrupo normal: