hasClopenBasis
P174248
predicate
Indicates that a topological space has a basis consisting entirely of sets that are both open and closed (clopen).
Sample triples (1)
| Subject | Object |
|---|---|
| Baire space | true ⓘ |