6.8.11 Set theory

Problem: Prove equalities using the properties of set operations and definitions of operations. \[ C \subseteq D \Rightarrow A \times C \subseteq B \times D \text {. } \]