En mathématiques, soient 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, par la relation binaire définie au préalable, à tous les éléments de F : ∀ y ∈ F, x ≥ y {\displaystyle \forall y\in F,\quad x\geq y} ; un minorant de F s'il est inférieur ou égal, par la relation binaire définie au préalable, à tous les éléments de F : ∀ y ∈ F, x ≤ y {\displaystyle \forall y\in F,\quad x\leq y}. Wikipedia