Kategorie:Verband äquivalent Halbordnung

From VoWi
Jump to navigation Jump to search
Verband äquivalent Halbordnung[edit]

Satz (Idee von Leibniz):

Nach einer Idee von Leibniz kann man einen Verband  (M,\wedge, \vee) auch als eine Halbordnung darstellen (und umgekehrt). Zwischen dem Verband und der Halbordnung muss dann folgende Beziehung bestehen:

 a \leq b \quad \iff \quad a = a \wedge b \quad \iff \quad b = a \vee b \quad

Anders ausgedrückt:

 \mathrm{inf}(a,b) \iff a \wedge b \qquad \mathrm{sup}(a,b) \iff a \vee b

Pages in category "Verband äquivalent Halbordnung"

This category contains only the following page.