Verband

Ein nicht-leere Menge V mit zwei Verknüpfungen \((V,cap ,cup )\) heißt Verband, wenn
\((V,cap)\) und \((V,cup)\) jeweils eine kommutative ->Halbgruppe bilden und das Verschmelzungsgesetz \(acap (bcup a)=a\) und \(acup (bcap a)=a\) gilt.