fixes

pi-base · Oct 7, 2024 · ea673f3 · ea673f3
1 parent 55a9bb4
commit ea673f3
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 4 deletions.
diff --git a/spaces/S000038/properties/P000086.md b/spaces/S000038/properties/P000086.md
@@ -4,4 +4,4 @@ property: P000086
 value: false
 ---
 
-Follows as every point except $\langle 0,0 \rangle$ is a cut point.
+Every point except $\langle 0,0 \rangle$ is a cut point, and $\langle 0,0 \rangle$ is not.
diff --git a/spaces/S000044/properties/P000086.md b/spaces/S000044/properties/P000086.md
@@ -4,5 +4,4 @@ property: P000086
 value: false
 ---
 
-$1/3$ belongs to a single open set $(0,1)$, but
-$2/5$ belongs to two open sets $(0,1)$ and $(0,1/2)$.
+$1$ is a closed point, but $1/3$ is not.
diff --git a/spaces/S000045/properties/P000086.md b/spaces/S000045/properties/P000086.md
@@ -4,4 +4,4 @@ property: P000086
 value: false
 ---
 
-$0$ belongs to every open set, but $1$ does not.
+$0$ belongs to every nonempty open set, but $1$ does not.