show long circle is T5 but not perfectly normal

properties/P000015.md

@@ -20,3 +20,9 @@ in Theorem 1.5.19 of {{zb:0684.54001}} (under the assumption of a {P2} space, bu
 equally valid without this assumption).  See also {{mathse:72138}}.
 
 Defined on page 16 of {{doi:10.1007/978-1-4612-6290-9}} (as perfectly \(T_4\)).
+
+----
+
+#### Meta-properties
+
+- This property is hereditary (see Theorem 2.1.6 in {{zb:0684.54001}}).

properties/P000067.md

@@ -12,6 +12,13 @@ refs:
     name: Normal space on Wikipedia
 ---
 
-A space that is both {P2} and {P15}. Equivalently, a space that is both {P1} and {P15}.
+A space that is both {P2} and {P15}.
+Equivalently, a space that is both {P1} and {P15}.
 
 Defined on page 16 of {{doi:10.1007/978-1-4612-6290-9}} as "perfectly normal".
+
+----
+
+#### Meta-properties
+
+- This property is hereditary since {P2} and {P15} are.

properties/P000081.md

@@ -7,3 +7,9 @@ refs:
 ---
 
 For each $A\subseteq X$ and each $p\in \overline A$ there is a countable subset $D\subseteq A$ such that $p\in \overline D$.
+
+----
+
+#### Meta-properties
+
+- This property is hereditary.

spaces/S000196/properties/P000008.md

@@ -0,0 +1,10 @@
+---
+space: S000196
+property: P000008
+value: true
+refs:
+    mathse: 5017774
+    name: Why is the "long circle" completely normal ($T_5$)?
+---
+
+Shown at {{mathse:5017774}}.

spaces/S000196/properties/P000081.md

@@ -0,0 +1,8 @@
+---
+space: S000196
+property: P000081
+value: false
+---
+
+This space contains a copy of {S36}, and
+{S36|P81}.