1. Warum gilt die Abgeschlossenheit? Wir wissen nicht aus welchen Elementen M besteht.
Das Ergebnis der Verknüpfung von a und b (Die sind beide aus M,
weil dort M X M → M steht.) ist das a, also aus M
2. Was bedeutet das "l" nach der Verknüpfung?
*l ist einfach das (aus 2 Teilen bestehende) Zeichen
für die Verknüpfung
3. Inwiefern spielt die Anzahl der Elemente eine Rolle?
Ist wichtig für
neutrales El. n wäre eines mit
(a * l n) = a und (n * l a) = n für alle a.
Würde M nur aus einem Element bestehen,
wäre nur möglich
(a * l a) = a und (a * l a) = a für alle a.
Dieses wäre also das neutrale El. und dann
auch zu sich selbst invers, dann wäre (M , *| )
eine Gruppe.