Verknüpfung
definiert in: Vollständige Induktion/ Addieren und Multiplizieren natürlicher Zahlen
Eine 2-stellige Verknüpfung (oder eine Operation) auf einer Menge M ist eine Abbildung
@: M x M → M ,
das heißt, jedem geordneten Paar (x; y) mit x ∈∈ M und y ∈∈ M wird durch eine Zuordnungsvorschrift in eindeutiger Weise ein Bild @(x; y) ∈∈ M zugeordnet.
Sei auf einer Menge M eine Verknüpfung @ definiert und seien x,y ∈∈ M und z ∈∈ M das Bild von (x; y) ∈∈ M2 unter @. Dann sind folgende Schreibweisen gleichbedeutend:
@((x; y)) = z
@(x; y) = z
@(x, y) = z
x @ y = z
