Ein Element s einer geordneten Menge (M , ≦) heißt obere Schranke einer Teilmenge T ⊂ M, wenn für alle t ∊ M gilt: t ≦ s. Analog wird die untere Schranke definiert. Die kleinste obere Schranke wird (falls existent) Supremum genannt, die größte untere Infimum.