User:Dfeuer/Definition:Cartesian Product

Definition

Let $A$ and $B$ be classes.

Then the Cartesian product $A \times B$ is the class of all sets $x$ such that:

$\exists p: \exists q: p \in A \land q \in B \land x = (p, q)$