Beschreibung
Ein Vollständiger Verband ist eine Menge mit einer Ordnungsrelation, unter der jede Teilmenge ein größtes Infimum und ein kleinstes Supremum (ggf. außerhalb der Teilmenge) besitzt. Er unterscheidet sich vom Verband dadurch, dass beim Verband die Eigenschaft nur für ein Paar vol Elementen gefordert ist. Dadurch wird z.B. zu einem Verband, nicht aber zu einem vollständigen Verband.
Das Gemeinsame Minimum wird als Meet bezeichnet . Das gemeinsame Maximum wird als Join bezeichnet .
Ich wunderte mich über die Eindeutigkeit. Diese ist jedoch gegeben. Es folgt aus der Definition einer Ordnungsrelation