Characterization of Closed Set by Open Cover

Theorem
Let $T = \struct{S, \tau}$ be a topological space.

Let $\UU$ be an open cover of $T$.

For each $U \in \UU$, let $\tau_U$ denote the subspace topology on $U$.

Let $F \subseteq S$.

Then $F$ is closed in $T$ :
 * $\forall U \in \UU: F \cap U$ is closed in $\struct{U, \tau_U}$

Necessary Condition
This follows immediately from Closed Set in Topological Subspace.