Cartesian Product of Subsets/Corollary 2
Jump to navigation Jump to search
Corollary to Cartesian Product of Subsets
Let $A, S, T$ be sets such that $S \subseteq T$.
- $A \times S \subseteq A \times T$
From Set is Subset of Itself we have $A \subseteq A$.
- $A \subseteq A \land S \subseteq T \implies A \times S \subseteq A \times T$