From e5e23c9aff9fd73fdef164d758855fc5d0e03696 Mon Sep 17 00:00:00 2001
From: Patrick Rabau <70125716+prabau@users.noreply.github.com>
Date: Tue, 19 May 2026 18:35:51 -0400
Subject: [PATCH] Some trait cleanup for S118 Integer broom

---
 spaces/S000118/README.md             |  3 ++-
 spaces/S000118/properties/P000016.md | 10 ----------
 spaces/S000118/properties/P000037.md | 10 ----------
 spaces/S000118/properties/P000057.md | 10 ----------
 spaces/S000118/properties/P000147.md |  7 -------
 spaces/S000118/properties/P000181.md |  7 +++++++
 6 files changed, 9 insertions(+), 38 deletions(-)
 delete mode 100644 spaces/S000118/properties/P000016.md
 delete mode 100644 spaces/S000118/properties/P000037.md
 delete mode 100644 spaces/S000118/properties/P000057.md
 delete mode 100644 spaces/S000118/properties/P000147.md
 create mode 100644 spaces/S000118/properties/P000181.md

diff --git a/spaces/S000118/README.md b/spaces/S000118/README.md
index 07a10def9d..29950ef890 100644
--- a/spaces/S000118/README.md
+++ b/spaces/S000118/README.md
@@ -10,7 +10,8 @@ refs:
 ---
 Let $X \subset \mathbb{R}^2$ consist of points with polar coordinates $\{(n,\theta)\ \mid\ n \in \omega, \theta \in \{0\} \cup \{1/n\}_{n=1}^\infty\}$. Define a topology on $X$ by taking as a basis all sets of the form $U \times V$ where $U$ is an open set in the right order topology on the positive integers and $V$ is open in $\{0\} \cup \{1/n\}_{n=1}^\infty \subset \mathbb{R}$. The only neighborhood of the origin is $X$ itself.
 
-This space is the quotient of the product of {S200} with {S20} where all points whose first components are 0 are identified.
+This space is the quotient of the product of {S200} with
+{S20} where all points whose first component is $0$ are identified.
 
 Defined as counterexample #121 ("The Integer Broom")
 in {{zb:0386.54001}}.
diff --git a/spaces/S000118/properties/P000016.md b/spaces/S000118/properties/P000016.md
deleted file mode 100644
index 14165be0d0..0000000000
--- a/spaces/S000118/properties/P000016.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-space: S000118
-property: P000016
-value: true
-refs:
-- zb: "0386.54001"
-  name: Counterexamples in Topology
----
-
-See item #1 for space #121 in {{zb:0386.54001}}.
diff --git a/spaces/S000118/properties/P000037.md b/spaces/S000118/properties/P000037.md
deleted file mode 100644
index 6049294963..0000000000
--- a/spaces/S000118/properties/P000037.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-space: S000118
-property: P000037
-value: true
-refs:
-- zb: "0386.54001"
-  name: Counterexamples in Topology
----
-
-See item #3 for space #121 in {{zb:0386.54001}}.
diff --git a/spaces/S000118/properties/P000057.md b/spaces/S000118/properties/P000057.md
deleted file mode 100644
index f7bb6c9172..0000000000
--- a/spaces/S000118/properties/P000057.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-space: S000118
-property: P000057
-value: true
-refs:
-- zb: "0386.54001"
-  name: Counterexamples in Topology
----
-
-See item #3 for space #121 in {{zb:0386.54001}}.
diff --git a/spaces/S000118/properties/P000147.md b/spaces/S000118/properties/P000147.md
deleted file mode 100644
index 533cfee207..0000000000
--- a/spaces/S000118/properties/P000147.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000118
-property: P000147
-value: false
----
-
-$X$ contains a copy of {S20} as a subspace and {S20|P147}.
diff --git a/spaces/S000118/properties/P000181.md b/spaces/S000118/properties/P000181.md
new file mode 100644
index 0000000000..bb8d6e3a67
--- /dev/null
+++ b/spaces/S000118/properties/P000181.md
@@ -0,0 +1,7 @@
+---
+space: S000118
+property: P000181
+value: true
+---
+
+By definition.