SAlut,

Soit M un majorant de B, qui existe par hypothese.
Soit x un element de A.
x est donc aussi un element de B, car A inclus dans B.
x <= M
DOnc A est majore par M.

Ce qu'on vient de faire est vrai pour tout majorant de B, donc en particulier pour SupB.
DOnc pour tout x de A, x <= SupB

Et ce que tu as dit est vrai: SupA etant le plus petit de smajorants de A par definition, comme SupB majore A, on a bien SupA <= SupB


biondo