Verband/Ordnung/Algebraisch/Fakt

Rechengesetze in einem Verband

In einem Verband gelten die folgenden Eigenschaften.

1. Die beiden Verknüpfungen ${}\sqcup$ und ${}\sqcap$ sind kommutativ und assoziativ.
2. Es ist

   ${}x\sqcup (x\sqcap y)=x\,.$

3. Es ist

   ${}x\sqcap (x\sqcup y)=x\,.$

Zum Beweis, Alternativen Beweis erstellen