Product

$\textbf{Product} \; A \; B \in \textbf{Set} := \{ x,y : x \in A \wedge y \in B : \textbf{pair} \; x \; y \}$

---

$A \in \textbf{Set}$

$B \in \textbf{Set}$