isBaireCategory
P73740
predicate
Indicates that a space (or set) satisfies the Baire category property, meaning countable intersections of dense open subsets remain dense in that space.
Observed surface forms (1)
- isBaireSpaceInCategorySense ×1
Sample triples (2)
| Subject | Object |
|---|---|
| Cantor set | meager in R ⓘ |
| Baire space | true via predicate surface "isBaireSpaceInCategorySense" ⓘ |