ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Result R499 on
D465: Hausdorff topological space
Metrisable topological space is Hausdorff
Subresults
▶
R4009: Metrisable topological space is Fréchet
▶
R4012: Polish space is Hausdorff