Set of real numbers: Difference between revisions