Set Union Preserves Subsets

Theorem
Let $$A, B, C$$ be sets.

Then:
 * $$A \subseteq B \implies A \cup C \subseteq B \cup C$$

Proof
Let $$A \subseteq B$$.

Then:

$$ $$ $$ $$

Hence the result, from the definition of Subset.