Verknüpfung von Booleschen Ausdrücken oder von Elementen eines Verbandes. In einem Verband (M, ≤) berechnet die Disjunktion zweier Elemente a und b aus M (in Zeichen: a ∨ b) das Supremum von a und b. In der Booleschen Algebra der Booleschen Funktionen ist dies das logische ODER (OR-Funktion) der Funktionen.