Category:Definitions/Real Number Line with Euclidean Topology