Almost discrete - door cleanup

Author: prabau

spaces/S000010/properties/P000126.md

@@ -0,0 +1,7 @@
+---
+space: S000010
+property: P000203
+value: true
+---
+
+By inspection.

spaces/S000010/properties/P000203.md

@@ -0,0 +1,7 @@
+---
+space: S000011
+property: P000203
+value: true
+---
+
+All points except $p$ are isolated.

spaces/S000011/properties/P000126.md

@@ -0,0 +1,7 @@
+---
+space: S000020
+property: P000203
+value: true
+---
+
+All points except $\infty$ are isolated.

spaces/S000011/properties/P000203.md

@@ -0,0 +1,7 @@
+---
+space: S000022
+property: P000203
+value: true
+---
+
+All points except $\infty$ are isolated.

spaces/S000020/properties/P000126.md

@@ -0,0 +1,7 @@
+---
+space: S000023
+property: P000203
+value: true
+---
+
+All points except $(0,0)$ are isolated.

spaces/S000020/properties/P000203.md

@@ -0,0 +1,7 @@
+---
+space: S000033
+property: P000203
+value: true
+---
+
+All points except $\omega\in X$ are isolated.

spaces/S000022/properties/P000126.md

@@ -0,0 +1,9 @@
+---
+space: S000034
+property: P000126
+value: false
+---
+
+The set $A=\{\alpha\in X:\omega\le\alpha<\omega+\omega\}$ is not open
+(because it does not contain a neighborhood of $\omega$)
+and not closed (because it does not contain its accumulation point $\omega+\omega$).

spaces/S000022/properties/P000203.md

@@ -0,0 +1,7 @@
+---
+space: S000111
+property: P000203
+value: true
+---
+
+All points except $F\in X$ are isolated.

spaces/S000023/properties/P000126.md

@@ -0,0 +1,7 @@
+---
+space: S000131
+property: P000203
+value: true
+---
+
+All points except $\infty$ are isolated.

spaces/S000023/properties/P000203.md

@@ -0,0 +1,7 @@
+---
+space: S000133
+property: P000203
+value: true
+---
+
+All points except $p$ are isolated.

spaces/S000033/properties/P000126.md

@@ -0,0 +1,7 @@
+---
+space: S000154
+property: P000203
+value: true
+---
+
+All points except $\infty$ are isolated.

spaces/S000033/properties/P000203.md

@@ -0,0 +1,7 @@
+---
+space: S000202
+property: P000203
+value: true
+---
+
+All points except one are isolated.