Verband/Distributiv/Definition

Distributiver Verband

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

${}x\sqcap {\left(y\sqcup z\right)}={\left(x\sqcap y\right)}\sqcup {\left(x\sqcap z\right)}\,$

und

${}x\sqcup {\left(y\sqcap z\right)}={\left(x\sqcup y\right)}\sqcap {\left(x\sqcup z\right)}\,$

gelten.