Ist $N\trianglelefteq G$ ein Normalteiler, dann ist $G/N$ die Menge der Nebenklassen $gN$ mit Verknüpfung