 Menger space

In mathematics, a Menger space is a topological space that satisfies a certain a basic selection principle that generalizes σ-compactness.A Menger space is a space in which for every sequence of open covers formula_1 of the space there are finite sets formula_2 such that the family formula_3 covers the space.