isSecondCountable
P22989
predicate
Indicates that a topological space has a countable base for its topology, meaning all open sets can be generated from a countable collection of basic open sets.
Observed surface forms (1)
- isCountable ×1
Sample triples (2)
| Subject | Object |
|---|---|
| Euclidean space | true ⓘ |
| Wilsons | true via predicate surface "isCountable" ⓘ |