When we want to use coordinates to talk about points in the plane, we often do this with pairs of real numbers . The first element of the pair tells you how far across to go and the second element how far up. The key properties of these pairs is that if and only if and . A construction with this property is called an ordered pair, and we can form ordered pairs with elements from any two sets — not just for real numbers.
The symbols and are just a kind of bracket. We don’t use and for our ordered pairs because the notation is going to be used for something else later (in the part of this chapter on permutations).
We’ve defined ordered pairs by saying what they do, that is, by giving a defining property they satisfy. For MATH0005 that’s all we need, but if you are interested in how to actually construct sets with this property you can read about the Kuratowski definition at this link. Proving that the definition does what it is supposed to needs some formal set theory which is why we omit it here.
The Cartesian product of two sets and , written , is the set of all ordered pairs in which the first element belongs to and the second belongs to :
Notice that the size of is the size of times the size of , that is, .
.
Of course we produce ordered triples as well, and ordered quadruples, and so on.