Proposición: Todo subconjunto formula_35 de un conjunto formula_1 acotado superiormente, es acotado superiormente.