Decimos que un subconjunto está acotado superiormente