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$.
- $A \subseteq C$
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$