Eine Verknüpfung über einer Menge S ist eine ternäre Relation über einer Menge S mit der folgenden Eigenschaft:

Für alle X, Y, Z und W aus S gilt: wenn (X Y Z) und (X Y W) in der Relation sind, dann ist Z = W.

Das bedeutet, dass einem Paar (X Y) ein oder kein Wert Z zugeordnet wird. Eine andere Notation für das Tripel (X Y Z) in der Verknüpfung ist X * Y = Z, wenn * der Name der Verknüpfung ist.