Complement Union with Superset is Universe/Corollary

Corollary to Complement Union with Superset is Universe

 * $S \cup T = \mathbb U \iff \complement \left({S}\right) \subseteq T$

where:
 * $S \subseteq T$ denotes that $S$ is a subset of $T$
 * $S \cup T$ denotes the union of $S$ and $T$
 * $\complement$ denotes set complement
 * $\mathbb U$ denotes the universal set.

Proof
Let $X = \complement \left({S}\right)$.

Then:

Also see

 * Intersection of Complement with Subset is Empty/Corollary