Definition Innere Verknüpfung

Sei $M$ eine Menge. Eine innere Verknüpfung $\circ$ von $M$ ist eine Vorschrift, welche je zwei Elementen $a, b \in M$ in eindeutiger Weise ein weiteres Element aus der Menge $M$ zuordnet. Wir können die innere Verknüpfung als Abbildung

$$ \circ : M \times M \to M, \quad (a, b) \mapsto a \circ b $$

auffassen.