Definition 6.11.
An ordered pair is an ordered list of two mathematical objects, \(a\) and \(b\text{,}\) written as \((a,b)\text{.}\) The objects in an ordered pair are called components. The object \(a\) is the first component of \((a,b)\text{,}\) and the object \(b\) is the second component of \((a,b)\text{.}\)