ein VerbandV, in dem zu jeder Teilmenge M von V das Infimum von M und das Supremum von M existieren. Da insbesondere das Infimum und das Supremum von V selbst existieren, ist jeder vollständige ...

zu einer Aussage ω der Verbandstheorie diejenige Aussage, die aus ω durch Vertauschen der Zeichen ∨ und ∧ entsteht. Die Symbole ∨ und ∧ stehen hierbei für die Operatoren Infimum und Supremum des ...