Verband/Ordnung/Algebraisch/Fakt
Rechengesetze in einem Verband
In einem
Verband
gelten die folgenden Eigenschaften.
Die beiden Verknüpfungen
⊔
{\displaystyle {}\sqcup }
und
⊓
{\displaystyle {}\sqcap }
sind
kommutativ
und
assoziativ
.
Es ist
x
⊔
(
x
⊓
y
)
=
x
.
{\displaystyle {}x\sqcup (x\sqcap y)=x\,.}
Es ist
x
⊓
(
x
⊔
y
)
=
x
.
{\displaystyle {}x\sqcap (x\sqcup y)=x\,.}
Zum Beweis
,
Alternativen Beweis erstellen