###### Definition1.3.1Cartesian Product

Let \(A\) and \(B\) be sets. The Cartesian product of \(A\) and \(B\text{,}\) denoted by \(A\times B\text{,}\) is defined as follows: \(A\times B = \{(a, b) \mid a \in A \quad\textrm{ and }\quad b \in B\}\text{,}\) that is, \(A\times B\) is the set of all possible ordered pairs whose first component comes from \(A\) and whose second component comes from \(B\text{.}\)