Definition:Coordinate of Ordered Pair