Real numbers/Subset/Supremum/Definition