Set Union Preserves Subsets/Corollary

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

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