Definition:Euclidean Metric on Real Number Plane