Bounded above set pdf