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)$