An ordered pair is a collection of two objects such that one can be distinguished as the first element and the other as the second element. An ordered pair with first element a and second element b is usually written as (a, b).
In pure set theory, where there are only sets, ordered pairs (a, b) can be simulated with the set { {a}, {a, b} }. The statement that x is the first element of an ordered pair p can then be formulated as
- for all Y in p : x in Y
and that x is the second element of p as
- (exist Y in p : x in Y) and (exist Y in p : x not in Y).
The set of all ordered pairs whose first element is in some set X and second element in some set Y is called the Cartesian product of said sets. Subsets thereof are mathematical relations.