Si A est une partie de R bornée, sup(A) est le plus petit réel qui est plus grand que tous les éléments de A.
Ainsi, ici, sup(B) est un réel qui est plus grand que tous les éléments de B donc plus grand que tous les éléments de A, A étant inclus dans B.
Or sup(A) est le plus petit réel qui est plus grand que tous les éléments de A, donc nécessairement sup(A) est inférieure ou égale à sup(B). (Et non le contraire comme tu l´écrivais)