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