Majorant ou minorant

Soient (E , ≤) un ensemble ordonné et F une partie de E. Un élément x de E est :

• un majorant de F s'il est supérieur ou égal à tous les éléments de F :${\displaystyle \forall y\in F,\quad x\geq y}$ ;
• un minorant de F s'il est inférieur ou égal à tous les éléments de F :${\displaystyle \forall y\in F,\quad x\leq y}$.

• Si F possède un majorant x alors on dit que F est une partie majorée.
• Si F possède un minorant x alors on dit que F est une partie minorée.