Topic
topological space in which, for every sequence of open covers 𝑈₁, 𝑈₂, …, there are finite sets 𝐹₁⊂𝑈₁, 𝐹₂⊂𝑈₂, … such that 𝐹₁∪𝐹₂∪⋯ covers the space