Let $A$ and $B$ be sets. The Cartesian product is the set of tuples defined as $ A \times B:=\{(x, y) : x \in A, y \in B\} $