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.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Polish space canonical | 2 |
| LF-space | 1 |
Description generation (CDg)
The one-sentence description above was generated by prompting gpt-5.1 with the class name and this instruction.
Instruction
generate a one-sentence description for a given conceptual class. # Response Format Return only the sentence: "Description: [one-sentence description of the conceptional class]"
Input
Class: Polish space
Generated description
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.
Instances (3)
| Instance | Via concept surface |
|---|---|
| Baire space | — |
| Baire space ω^ω | — |
| Schwartz–Bruhat space | LF-space |