Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:topology
|
| gptkbp:alsoKnownAs |
T2 condition
|
| gptkbp:appliesTo |
topological spaces
|
| gptkbp:defines |
For any two distinct points, there exist disjoint open neighborhoods containing each point.
|
| gptkbp:hasProperty |
Hausdorff space
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hausdorff condition
|
| gptkbp:implies |
uniqueness of limits
|
| gptkbp:introducedIn |
1914
|
| gptkbp:isWeakerThan |
normality
regularity T1 condition |
| gptkbp:namedAfter |
gptkb:Felix_Hausdorff
|
| gptkbp:partOf |
separation axioms
|
| gptkbp:bfsParent |
gptkb:T2_separation_axiom
|
| gptkbp:bfsLayer |
8
|