Wir betrachten die Menge
Zeige, dass auf M {\displaystyle {}M} durch
eine wohldefinierte Verknüpfung gegeben ist.