Real numbers/Subsets/Function/Limit/Characterizations/Fact/Proof/Exercise