Covering

Sei \(X\) ein topologischer Raum und sei \(M \subseteq X\) eine Menge. Eine Mengenfamilie \((U_i){i \in I}\) \(U_i \subseteq \mathbb{R}\) heißt Überdeckung von \(M\), wenn gilt:

\begin{align*} M \subseteq \bigcup_{i \in I} U_i \end{align*}