Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:topology
|
| gptkbp:alsoKnownAs |
normal Hausdorff axiom
|
| gptkbp:appliesTo |
topological spaces
|
| gptkbp:defines |
A topological space is T4 if it is normal and Hausdorff.
|
| https://www.w3.org/2000/01/rdf-schema#label |
T4 separation axiom
|
| gptkbp:implies |
gptkb:T1_separation_axiom
gptkb:T3_separation_axiom |
| gptkbp:introducedIn |
gptkb:general_topology
|
| gptkbp:relatedTo |
gptkb:Urysohn's_lemma
gptkb:Tietze_extension_theorem |
| gptkbp:requires |
gptkb:Hausdorff_property
normality |
| gptkbp:symbol |
gptkb:T4
|
| gptkbp:usedIn |
gptkb:mathematics
|
| gptkbp:bfsParent |
gptkb:T0_separation_axiom
|
| gptkbp:bfsLayer |
7
|