pi-base · Moniker1998 · Dec 25, 2025 · Dec 25, 2025 · Dec 25, 2025 · Dec 25, 2025
diff --git a/properties/P000210.md b/properties/P000210.md
@@ -30,3 +30,8 @@ as done in {{zb:0774.54019}}.
 
 The $\alpha_i$ properties for $i = 1, 2, 3, 4$ (sometimes called "sheaf amalgamation properties")
 are due to Arkhangel'skii ({{zb:0275.54004}}).
+
+----
+#### Meta-properties
+
+- This property is hereditary.
diff --git a/properties/P000211.md b/properties/P000211.md
@@ -29,3 +29,8 @@ One can also phrase the definition in terms of (injective) sequences of elements
 as done in {{zb:0774.54019}}.
 
 This property was introduced by Nyikos in {{zb:0774.54019}}.
+
+----
+#### Meta-properties
+
+- This property is hereditary.
diff --git a/properties/P000212.md b/properties/P000212.md
@@ -29,3 +29,8 @@ as done in {{zb:0774.54019}}.
 
 The $\alpha_i$ properties for $i = 1, 2, 3, 4$ (sometimes called "sheaf amalgamation properties")
 are due to Arkhangel'skii ({{zb:0275.54004}}).
+
+----
+#### Meta-properties
+
+- This property is hereditary.
diff --git a/properties/P000213.md b/properties/P000213.md
@@ -29,3 +29,8 @@ as done in {{zb:0774.54019}}.
 
 The $\alpha_i$ properties for $i = 1, 2, 3, 4$ (sometimes called "sheaf amalgamation properties")
 are due to Arkhangel'skii ({{zb:0275.54004}}).
+
+----
+#### Meta-properties
+
+- This property is hereditary.
diff --git a/properties/P000214.md b/properties/P000214.md
@@ -29,3 +29,8 @@ as done in {{zb:0774.54019}}.
 
 The $\alpha_i$ properties for $i = 1, 2, 3, 4$ (sometimes called "sheaf amalgamation properties")
 are due to Arkhangel'skii ({{zb:0275.54004}}).
+
+----
+#### Meta-properties
+
+- This property is hereditary.
diff --git a/spaces/S000031/properties/P000036.md b/spaces/S000031/properties/P000036.md
diff --git a/spaces/S000031/properties/P000084.md b/spaces/S000031/properties/P000084.md
@@ -4,4 +4,4 @@ property: P000084
 value: false
 ---
 
-It has {S29} as a subspace and {S29|P84}.
+$X$ has {S29} as a subspace and {S29|P84}.
diff --git a/spaces/S000031/properties/P000100.md b/spaces/S000031/properties/P000100.md
diff --git a/spaces/S000031/properties/P000138.md b/spaces/S000031/properties/P000138.md
@@ -4,4 +4,5 @@ property: P000138
 value: false
 ---
 
-Since {S29|P138}, there are uncountably many continuous maps $X\to X$.
+For any continuous $f:\mathbb{Q}^*\to \mathbb{Q}^*$, $f\times f: X \to X$ is also continuous.
+As {S29|P138}, this gives us uncountably many continuous self-maps of $X$. 
diff --git a/spaces/S000031/properties/P000214.md b/spaces/S000031/properties/P000214.md
@@ -0,0 +1,7 @@
+---
+space: S000031
+property: P000214
+value: false
+---
+
+$X$ has {S29} as a subspace and {S29|P214}.
diff --git a/spaces/S000031/properties/P000216.md b/spaces/S000031/properties/P000216.md
@@ -0,0 +1,7 @@
+---
+space: S000031
+property: P000216
+value: false
+---
+
+$X$ has {S29} as a subspace and {S29|P216}.