全ての "ρ" ∈ "λ′λ" について、"x ′ρ" ∈ "xρ" であり、"xρ" の任意の開集合 "uρ" が "xρ" を含めば、formula_1の有限部分集合でformula_41   を被覆するものは存在しない。