Has closed discrete subset of size continuum (part 3) (#1597)

Author: yhx-12243

spaces/S000060/properties/P000032.md

@@ -0,0 +1,18 @@
+---
+uid: T000838
+if:
+  and:
+  - P000026: true
+  - P000227: true
+then:
+  P000032: false
+refs:
+  - zb: "0684.54001"
+    name: General Topology (Engelking, 1989)
+  - zb: "1116.54006"
+    name: Normality and countable paracompactness of hyperspaces of ordinals. (N. Kemoto)
+---
+
+See Exercise 5.2.C(b) in {{zb:0684.54001}}.
+
+See also the Claim on page 359 of {{zb:1116.54006}}.