A natural and extremely useful extension of the familiar real numbers. They can be introduced formally as follows. Consider the two-dimensional real vector space consisting of all ordered pairs (a₁, a₂) of real numbers. Geometrically this space can be identified with the ordinary euclidean plane, viewing the real numbers a₁, a₂ as the coordinates of a point in the plane.