Ein Element x ∈ I {\displaystyle {}x\in I} heißt obere Schranke für J {\displaystyle {}J} , wenn y ≼ x {\displaystyle {}y\preccurlyeq x} für jedes y ∈ J {\displaystyle {}y\in J} gilt.