"Soit E muni d'une relation d'ordre AcBcE ( A compris dans B compris dans E).
    
Montrer que si sup(A) et sup(B) existent alors on a
sup(A)<=sup(B)( sup(A) "inferieur ou egale a sup(B))"

Je ne sais pas comment m'y prendre pour le montrer...

Merci d'avance

Ben c'est facile, AcB, donc si sup(B) existe, il y a deux possibilités :
- Il est dans A et par conséquent, c'est sup(A)
- Il n'est pas dans A donc il est plus grand que sup(A) (sinon, on a une absurdité)

CQFD