diff --git a/spaces/S000135/properties/P000030.md b/spaces/S000135/properties/P000030.md
deleted file mode 100644
index d3a2ca6d04..0000000000
--- a/spaces/S000135/properties/P000030.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-space: S000135
-property: P000030
-value: true
-refs:
-- zb: "0386.54001"
-  name: Counterexamples in Topology
----
-
-See item #5 for space #141 in {{zb:0386.54001}}
diff --git a/spaces/S000135/properties/P000043.md b/spaces/S000135/properties/P000043.md
deleted file mode 100644
index 0ff6d75c12..0000000000
--- a/spaces/S000135/properties/P000043.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-space: S000135
-property: P000043
-value: true
-refs:
-- zb: "0386.54001"
-  name: Counterexamples in Topology
----
-
-A basic neighbourhood is either a Euclidean segment or the union of a family of such segments with nonempty intersection.
diff --git a/spaces/S000135/properties/P000118.md b/spaces/S000135/properties/P000118.md
new file mode 100644
index 0000000000..ceb064391f
--- /dev/null
+++ b/spaces/S000135/properties/P000118.md
@@ -0,0 +1,10 @@
+---
+space: S000135
+property: P000118
+value: false
+refs:
+  - mathse: 5136509
+    name: Is $\mathbb R^2$ with the radial interval topology an $\aleph$-space or a $\sigma$-space?
+---
+
+See {{mathse:5136509}}.
diff --git a/spaces/S000135/properties/P000132.md b/spaces/S000135/properties/P000132.md
deleted file mode 100644
index e5617c5922..0000000000
--- a/spaces/S000135/properties/P000132.md
+++ /dev/null
@@ -1,18 +0,0 @@
----
-space: S000135
-property: P000132
-value: true
-refs:
-- zb: "0386.54001"
-  name: Counterexamples in Topology
----
-
-Since $X\setminus\{(0,0)\}$ is homeomorphic to the disjoint union of copies of the real line
-and {S25|P132}, every open set in $X$ missing the origin is an $F_\sigma$.
-It remains to show that the origin has a basis of open $F_\sigma$ neighborhoods.
-Consider $U=\bigcup\{(-\varepsilon_\theta,\varepsilon_\theta)p_\theta: 0\leq \theta< \pi\}$, with $\varepsilon_\theta>0$
-and $p_\theta=(\cos\theta,\sin\theta)$ for each angle $0\leq \theta < \pi$. Then the set
-$V:=\bigcup\{[-\varepsilon_\theta,\varepsilon_\theta]p_\theta: 0\leq \theta< \pi\}$ is closed
-and $U=\bigcup_{n=2}^\infty (1-1/n)V$.
-
-Therefore every open subset of $X$ can be represented as a union of two $F_\sigma$ sets, so it is $F_\sigma$ as well.
diff --git a/spaces/S000135/properties/P000240.md b/spaces/S000135/properties/P000240.md
new file mode 100644
index 0000000000..3759150794
--- /dev/null
+++ b/spaces/S000135/properties/P000240.md
@@ -0,0 +1,8 @@
+---
+space: S000135
+property: P000240
+value: true
+---
+
+It is a $1$-dimensional {P240} with $X_0 = \left\{ x \in X \mid \left\|x\right\|_2 \in \mathbb N \right\} \subset X_1 = X$,
+where the sets $1$-cells are segments connecting $(n \cos \theta, n \sin \theta)$ and $((n + 1) \cos \theta, (n + 1) \sin \theta)$ for each $n \in \mathbb N$ and $0 \leq \theta < 2 \pi$.