Separation axiom metaproperty chart: Difference between revisions

Revision as of 15:52, 21 July 2008

Property	T family name	Hereditary	Weakly hereditary	Product-closed	Refining-preserved	Local
Kolmogorov	$T_{0}$	Yes	Yes	Yes	Yes	Yes
T1	$T_{1}$	Yes	Yes	Yes	Yes	Yes
Hausdorff	$T_{2}$	Yes	Yes	Yes	Yes	No
Urysohn	$T_{2.5}$	Yes	Yes	Yes	Yes	No
Regular	$T_{3}$	Yes	Yes	Yes	No	No
Completely regular	$T_{3.5}$	Yes	Yes	Yes	No	No
Normal	$T_{4}$	No	Yes	No	No	No
Hereditarily normal	$T_{5}$	Yes	Yes	No	No	No
Perfectly normal	$T_{6}$	Yes	Yes	?	?	No
Monotonically normal	-	Yes	Yes	?	?	No
Collectionwise Hausdorff	-	Yes	Yes	?	Yes	No

@@ Line 6: / Line 6: @@
 | [[T1 space|T1]] || <math>T_1</math> || [[T1 is hereditary|Yes]] || Yes || [[T1 is product-closed|Yes]] || [[T1 is refining-preserved|Yes]] || Yes
 |-
-| [[Hausdorff space|Hausdorff]] || <math>T_2</math> || [[Hausdorffness is hereditary|Yes]] || Yes || [[Hausdorffness is product-closed|Yes]] || Yes || No
+| [[Hausdorff space|Hausdorff]] || <math>T_2</math> || [[Hausdorffness is hereditary|Yes]] || Yes || [[Hausdorffness is product-closed|Yes]] || [[Hausdorffness is refining-preserved|Yes]] || No
 |-
 | [[Urysohn space|Urysohn]] || <math>T_{2.5}</math> || Yes || Yes || Yes || Yes || No