Definition:Euclidean Topology on Real Number Line