Cartesian Product Exists and is Unique
Jump to navigation
Jump to search
This theorem requires a proof.
by axiom of specification and axiom of extension
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
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
by axiom of specification and axiom of extension
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
When this page/section has been completed, {{ProofWanted}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
Sources
- 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.) ... (previous) ... (next): Chapter $2$: Some Basics of Class-Set Theory: $\S 7$ Cartesian products