Verband (Mathematik)

eine Menge M mit einer Ordnungsrelation ≦, sodass für je zwei Elemente x, y aus M deren Supremum x ∨ y und Infimum x ∧ y existiert. Die Supremumsbildung und Infimumsbildung heißen Verbandsoperationen auf M. Gelten darüber hinaus für alle x, y, z ∊ M die beiden Distributivgesetze (x ∨