Majorant ou minorant
tout élément d'un ensemble partiellement ordonné A qui est plus grand (resp. plus petit) que chacun des éléments d'un sous-ensemble B inclus dans A / De Wikipedia, l'encyclopédie encyclopedia
En mathématiques, 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, par la relation binaire définie au préalable, à tous les éléments de F :
; - 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 :
.
- 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.