Definition 5.16 (Cartesian Product of Two Sets)

#Definition

The $Cartesian Product$ of two sets $A$ , $B$ , denoted by $A \times B$ , is the set of ordered pairs $(a, b)$ , where $a$ belongs to $A$ and $b$ belongs to $B$

A \times B : = {(a, b) | a \in A a n d b \in B}