Sei (M, ≤) eine teilweise geordnete Menge und X ⊆ M.
Stelle drei wahre Aussagen auf:
Jedes minimale Element in M ist untere Schranke für X.
Jedes maximale Element in M ist ein größtes Element von X.
M hat genau eine obere Schranke.
Stimmen die drei Aussagen?