Real numbers/Subsequence/Definition