isCompletelyMetrizable
P164490
predicate
Indicates that a topological space admits a complete metric that induces its topology, making it completely metrizable.
Sample triples (2)
| Subject | Object |
|---|---|
| Baire space | true ⓘ |
| Baire space ω^ω | true ⓘ |