# Menger space

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

**Wikidata**: [Q28453861](https://www.wikidata.org/wiki/Q28453861)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Menger_space)  
**Source**: https://4ort.xyz/entity/menger-space
