Cartesian Product Exists and is Unique

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $A$ and $B$ be classes.

Let $A \times B$ be the cartesian product of $A$ and $B$.


Then $A \times B$ exists and is unique.


Proof


Sources