Definition:Real Number Plane with Euclidean Metric