Separation axiom metaproperty chart: Difference between revisions
No edit summary |
No edit summary |
||
| Line 14: | Line 14: | ||
| [[Completely regular space|Completely regular]] || <math>T_{3.5}</math> || Yes || Yes || Yes || No || No | | [[Completely regular space|Completely regular]] || <math>T_{3.5}</math> || Yes || Yes || Yes || No || No | ||
|- | |- | ||
| [[Normal space|Normal]] || <math>T_4</math> || No || Yes || No || No || No | | [[Normal space|Normal]] || <math>T_4</math> || No || [[Normality is weakly hereditary|Yes]] || No || No || No | ||
|- | |- | ||
| [[Hereditarily normal space|Hereditarily normal]] || <math>T_5</math> || Yes || Yes || No || No || No | | [[Hereditarily normal space|Hereditarily normal]] || <math>T_5</math> || Yes || Yes || No || No || No | ||
Revision as of 23:45, 26 December 2007
| Property | T family name | Hereditary | Weakly hereditary | Product-closed | Refining-preserved | Local |
|---|---|---|---|---|---|---|
| Kolmogorov | Yes | Yes | Yes | Yes | Yes | |
| T1 | Yes | Yes | Yes | Yes | Yes | |
| Hausdorff | Yes | Yes | Yes | Yes | No | |
| Urysohn | Yes | Yes | Yes | Yes | No | |
| Regular | Yes | Yes | Yes | No | No | |
| Completely regular | Yes | Yes | Yes | No | No | |
| Normal | No | Yes | No | No | No | |
| Hereditarily normal | Yes | Yes | No | No | No | |
| Perfectly normal | Yes | Yes | ? | ? | No | |
| Monotonically normal | - | Yes | Yes | ? | ? | No |
| Collectionwise Hausdorff | Yes | Yes | ? | Yes | No |