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} }.