Category:Real Number Line with Euclidean Topology