bounded above set