Definition:Real Number Plane with Euclidean Topology