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