Eine Verknüpfung ist eine Abbildung, die jedem Paar aus Elementen einer Menge ein Element dieser Menge zuordnet.
Ob eine Verknüpfung vorliegt, kann also nicht alleine anhand der Zuordnungsvorschrift (hier a*b:= (a+b)/2) entschieden werden. Es muss auch die Menge angegeben werden, auf der die angebliche Verknüpfung definiert ist. Zum Beipsiel handelt es sich nicht um eine Verknüpfung auf der Menge ℤ, weil 1*2 = (1+2)/2 = 3/2 ∉ ℤ ist.
Kommutatvität gilt wohl, Assoziativität und alles Weitere eher nicht.