Ist N⊴GN\trianglelefteq GN⊴G ein Normalteiler, dann ist G/NG/NG/N die Menge der Nebenklassen gNgNgN mit Verknüpfung