Le professeur va nous expliquer ce qu’est le majorant. Soit A un sous-ensemble d’un ensemble E muni d’une relation d’ordre. Nous allons dire que le sous-ensemble A est majoré dans E pour exprimer qu’il admet un majorant dans E.