Open Cover
# Definition
Let $X$ be a Topological Space, $I \preccurlyeq \mathcal{P}(X)$ be an Index Set, and $S \subset X$. An Open Cover of $S$ is a collection ${U_\alpha}{\alpha \in I}$ such that $$\bigcup\limits{\alpha \in I}U_{\alpha}\supset S.$$