Majorant
Un article de Wikipédia, l'encyclopédie libre.
Soit E un ensemble ordonné et F une partie de E, un majorant (resp. minorant) de F est un élément x de E tel que tous les éléments de F sont inférieurs (resp. supérieurs) à x.
Soit 
un ensemble ordonné et 
, 
est :
- un minorant de
si 
; - un majorant de si
.
Vocabulaire
- 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
[modifier] Exemples
- pour l'intervalle ]0 ; 10[, partie de l'ensemble des nombres réels ordonnés par l'ordre usuel ≤ : 10 et 11 sont des majorants alors que 0 et -7 sont des minorants,
n'a pas de majorant dans 
.
