Finite Union of Open Sets in Complex Plane is Open

Theorem
Let $S_1, S_2, \ldots, S_n$ be open sets of $\C$.

Then $\displaystyle \bigcup_{k \mathop = 1}^n S_k$ is an open set of $\C$.

Proof
Let $\displaystyle z \in \bigcup_{k \mathop = 1}^n S_k$.

Then by definition of finite union:
 * $\exists k \in \left\{{1, 2, \ldots, n}\right\}: z \in S_k$

By definition of open set:
 * $\exists \epsilon \in \R_{>0}: N_{\epsilon} \left({z}\right) \subseteq S_k$

where $N_{\epsilon} \left({z_0}\right)$ is the $\epsilon$-neighborhood of $z$ for $\epsilon$.

By Set is Subset of Union:
 * $S_k \subseteq S$

Thus by Subset Relation is Transitive:
 * $N_{\epsilon} \left({z}\right) \subseteq S$

As $z$ is any arbitrary element of $S$, it follows that $S$ is an open set of $\C$ by definition.