separation axiom
C28451
concept
A separation axiom is a topological property that specifies how distinctly a space can distinguish points and/or sets using open sets, forming a hierarchy of increasingly stronger separation conditions (T0, T1, T2, etc.).
All labels observed (4)
| Label | Occurrences |
|---|---|
| separation axiom canonical | 5 |
| T0 space | 2 |
| Hausdorff space | 1 |
| T1 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: separation axiom
Generated description
A separation axiom is a topological property that specifies how distinctly a space can distinguish points and/or sets using open sets, forming a hierarchy of increasingly stronger separation conditions (T0, T1, T2, etc.).
Instances (5)
| Instance | Via concept surface |
|---|---|
|
Hausdorff
surface form:
Hausdorff space
|
— |
| Baire space | T0 space |
| T1 separation axiom | — |
| Tychonoff space | — |
|
Kolmogorov space (T0 space)
surface form:
Kolmogorov space
|
— |