Eine Menge M {\displaystyle {}M} mit zwei kommutativen und assoziativen Verknüpfungen ⊔ {\displaystyle {}\sqcup } und ⊓ {\displaystyle {}\sqcap } heißt algebraischer Verband, wenn die Absorptionsgesetze
und
gelten.
