定義
X を位相空間とし、(S_α), α ∈ A を X の被覆とする。
X の各点 p に対して p の近傍 V_p で V_p ∩ S_α ≠ φ となる α ∈ A の個数が
有限であるものが存在するとき、(S_α), α ∈ A を局所有限な被覆という。