Geordnete Menge/Teilmenge/Supremum/Definition

Supremum

Sei eine geordnete Menge und eine Teilmenge. Ein Element heißt Supremum von , wenn die kleinste obere Schranke von ist.