Ordered pair

A pair (a,b) in which order matters, characterized by a uniqueness property.
Ordered pair

An ordered pair (a,b)(a,b) is an object determined by two entries aa and bb such that

(a,b)=(c,d)(a=c)  (b=d).(a,b)=(c,d)\quad\Longleftrightarrow\quad (a=c)\ \land\ (b=d).

Ordered pairs are the building blocks of Cartesian products, graphs of functions, and relations. The defining property above is what distinguishes an ordered pair from a 2-element set, where order is irrelevant.

Examples:

  • (1,2)(2,1)(1,2)\neq(2,1).
  • In R2\mathbb{R}^2, a point is an ordered pair (x,y)(x,y) with x,yRx,y\in\mathbb{R}.
  • The graph of f(x)=x2f(x)=x^2 is {(x,x2):xR}R×R\{(x,x^2):x\in\mathbb{R}\}\subseteq\mathbb{R}\times\mathbb{R}.