Real numbers/Subset/Infimum/Definition