Set Union Preserves Subsets

Theorem
Let $A, B, S, T$ be sets.

Then:
 * $A \subseteq B, \ S \subseteq T \implies A \cup S \subseteq B \cup T$

Also see

 * Union is Increasing