Revision #961 → #1556 · back to history
addedTopologically distinguishable points9e0fa70a8b49
addedSeparated points50a01ee4ebd0
addedSeparated subsetse5e020fbd59c
addedSeparated by neighbourhoods621dd2bd754f
addedSeparated by closed neighbourhoods6e38d3e9e944
addedSeparated by a continuous function7ed8309a1c47
addedPrecisely separated by a continuous functionaf97e7531e4a
addedT0 (Kolmogorov) space473730bab694
addedR0 (symmetric) spaced738a638b3c8
addedT1 (accessible/Fréchet) spacee1f80ce6c7cc
addedT1 iff T0 and R054dc96b02ada
addedR1 (preregular) space730989f62627
addedR1 implies R0997fc2e4da1b
addedHausdorff (T2) space5f7600be0cc6
addedHausdorff iff T0 and R1a1b615fb5012
addedHausdorff implies T1373524fcd024
addedT2½ (Urysohn) space5856527ec5ed
addedT2½ implies Hausdorff82f778388d7b
addedCompletely Hausdorff space5e6e3dad6fda
addedCompletely Hausdorff implies T2½9f4df545df6a
addedRegular space8aca1b54c611
addedRegular implies R17b6890573348
addedRegular Hausdorff (T3) space92f3718cfc74
addedRegular Hausdorff implies T2½0159f6fe7860
addedCompletely regular space612586ca126b
addedCompletely regular implies regulara58f6d5e3da8
addedTychonoff (T3½) space29d34850f4d5
addedTychonoff implies regular Hausdorff and completely Hausdorff1e6450ab979e
addedNormal spacea09b10d2182f
addedUrysohn's lemma06d85d7e4318
addedNormal regular space1d099ea77be3
addedNormal regular implies completely regular3b30a3e9455b
addedNormal Hausdorff (T4) spacefa8c818fc187
addedNormal Hausdorff implies Tychonoff and normal regular3d31c4350994
addedCompletely normal spacefd44d47236e1
addedCompletely normal implies normal3e61483621da
addedCompletely normal Hausdorff (T5) space6dc87bd2854f
addedCompletely normal Hausdorff implies normal Hausdorffb3625b94a75d
addedPerfectly normal space93b61ef67cf7
addedPerfectly normal implies completely normal and completely regular2d64b5decc85
addedPerfectly normal Hausdorff (T6) space341ec7a99b49
addedPerfectly normal Hausdorff implies completely normal Hausdorff80558e5490f2
addedSober spaceb94185d03401
addedHausdorff implies sober implies T014ff80dce60e
addedWeak Hausdorff spacec25cee1cff81
addedHausdorff implies weak Hausdorff implies T1f3893e9bc610
addedKC space50ff0b04ac67
addedKC strictly between T1 and T29eca38c83597
addedKC stronger than weak Hausdorff821c72c5e321
addedSemiregular spacea4cfc570c2e8
addedRegular implies semiregulara87837a8355b
addedQuasi-regular spacec6cfa6a24377
addedFully normal spacef6cd1d729c28
addedFully T4 space317a3f2ad6f2
addedFully normal implies normal; fully T4 implies T4d50b99c410bd
addedFully T4 implies paracompactd285a33456b5
addedCofinite topology: T1 KC counterexample096b976d465e
addedCocountable topology: KC not Hausdorff6974eceac04f
addedContinuous image of compact Hausdorff in KC is closedc030b92b26cf