Pokrytím množiny M{\displaystyle \mathbf {M} } nazýváme takový systém množin D{\displaystyle \mathbf {D} }, že ∪X∈DX⊃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 D0{\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} }.