An ordered pair is a tuple with two elements.
The Cartesian product of two sets results in a set of ordered pairs. An ordered pair is usually represented as ( a , b ) {\displaystyle (a,b)} .
