< Verband < Distributiv
Distributiver Verband
Ein
Verband
M
{\displaystyle {}M}
heißt
distributiv
, wenn in ihm die Distributivgesetze
x
⊓
(
y
⊔
z
)
=
(
x
⊓
y
)
⊔
(
x
⊓
z
)
{\displaystyle {}x\sqcap {\left(y\sqcup z\right)}={\left(x\sqcap y\right)}\sqcup {\left(x\sqcap z\right)}\,}
und
x
⊔
(
y
⊓
z
)
=
(
x
⊔
y
)
⊓
(
x
⊔
z
)
{\displaystyle {}x\sqcup {\left(y\sqcap z\right)}={\left(x\sqcup y\right)}\sqcap {\left(x\sqcup z\right)}\,}
gelten.
This article is issued from
Wikiversity
. The text is licensed under
Creative Commons - Attribution - Sharealike
. Additional terms may apply for the media files.
