isBaireSpace
P162058
predicate
Indicates that a topological space has the property that the countable intersection of open dense sets is dense (i.e., it satisfies the Baire category theorem).
Sample triples (1)
| Subject | Object |
|---|---|
| Baire space ω^ω | true ⓘ |