is extremally disconnected

pi-base · Jan 18, 2025 · 8ccca7f · 8ccca7f
1 parent b33baf7
commit 8ccca7f
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/spaces/S000109/properties/P000049.md b/spaces/S000109/properties/P000049.md
@@ -0,0 +1,10 @@
+---
+space: S000109
+property: P000049
+value: true
+refs:
+- zb: "0684.54001"
+  name: General Topology (Engelking, 1989)
+---
+
+{S109} is a dense in {S108} and {S108|P49}, and a dense subspace of extremally disconnected space is extremally disconnected (see {{zb:"0684.54001"}} exercise 6.2.G.c)