Polish space
C52518
concept
A Polish space is a topological space that is separable and completely metrizable, meaning its topology can be induced by a complete metric with a countable dense subset.
Observed surface forms (1)
- LF-space ×1
Instances (3)
- Baire space
- Baire space ω^ω
- Schwartz–Bruhat space via concept surface "LF-space"