Definition:Real Number Line with Euclidean Topology