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

${\displaystyle {}x\sqcup (x\sqcap y)=x\,}$

und

${\displaystyle {}x\sqcap (x\sqcup y)=x\,}$

gelten.