Definition:Real Number Line with Euclidean Metric