Abgeschlossene Verknüpfung

Eine abgeschlossene Verknüpfung über einer Menge S ist eine Verknüpfung über S für die gilt: Für alle X und Y aus S existiert ein Z aus S, so dass (X Y Z) in der Relation ist.