S76_not_P180.

spaces/S000076/properties/P000180.md

@@ -0,0 +1,13 @@
+---
+space: S000076
+property: P000180
+value: false
+refs:
+- doi: 10.1007/978-1-4612-6290-9_6
+ name: Counterexamples in Topology
+---
+
+Witnessed by the standard proof that the space is not {P13}:
+The uncountable set $\{(x,-x):x\in\mathbb R\}$ is a discrete subspace.
+
+See item #2 for space #84 in {{doi:10.1007/978-1-4612-6290-9}}.