Cartesian Product of Subsets/Corollary 3
Jump to navigation
Jump to search
Corollary to Cartesian Product of Subsets
Let $A, B, C$ be sets such that $B \ne \O$.
Let $A \times B \subseteq C \times C$.
Then:
- $A \subseteq C$
Proof
Since $B \ne O$ we have from Cartesian Product of Subsets that:
- $A \times B \subseteq C \times C \implies A \subseteq C \land B \subseteq C$
$\blacksquare$
Sources
- 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 8.1$: Cartesian product of sets