Verband/Distributiv/Definition

Distributiver Verband

Ein Verband $M$ heißt distributiv, wenn in ihm die Distributivgesetze

$x\sqcap (y\bigsqcup z)=(x\sqcap y)\bigsqcup (x\sqcap z)$

und

$x\bigsqcup (y\sqcap z)=(x\bigsqcup y)\sqcap (x\bigsqcup z)$

gelten.