9. Ну, если пользоваться определением верхней грани , то любой х принадлежащий множеству Х меньше или равен supX. И любой y принадлежащий Y меньше или равен supY.
Т.к. Y подмножество X, то все элементы Y Принадлежат X => при любом n yn<=xn
И соответственно если любой x ,

supX
А любой

x то соответственно любой y

supX, а т.к. в то же время y

supY то supX больше или равен supY, т.к. supX не может быть меньше supY ,т.к. supX больше любого x.
Все плохо, да?