Pokrytím množiny M {\displaystyle \mathbf {M} } nazýváme takový systém množin D {\displaystyle \mathbf {D} } , že ∪ X ∈ D X ⊃ M {\displaystyle \cup _{\mathbf {X} \in \mathbf {D} }\mathbf {X} \supset \mathbf {M} } .
Jsou-li všechny množiny ze systému D {\displaystyle \mathbf {D} } otevřené, pak hovoříme o otevřeném pokrytí. Jestliže je část D 0 {\displaystyle \mathbf {D} _{0}} systému D {\displaystyle \mathbf {D} } pokrytím množiny M {\displaystyle \mathbf {M} } , pak ji nazýváme podpokrytím M {\displaystyle \mathbf {M} } .