diff --git a/spaces/S000027/properties/P000219.md b/spaces/S000027/properties/P000219.md new file mode 100644 index 0000000000..eeb2a49eeb --- /dev/null +++ b/spaces/S000027/properties/P000219.md @@ -0,0 +1,7 @@ +--- +space: S000027 +property: P000219 +value: false +--- + +The subset $\mathbb{Z} \subset \mathbb{Q}$ is not homeomorphic to $\mathbb{Q}$ as it has no isolated points. \ No newline at end of file diff --git a/spaces/S000170/properties/P000219.md b/spaces/S000170/properties/P000219.md new file mode 100644 index 0000000000..dbd9b19fe8 --- /dev/null +++ b/spaces/S000170/properties/P000219.md @@ -0,0 +1,7 @@ +--- +space: S000170 +property: P000219 +value: false +--- + +The subspace $S^1 \setminus \{p\}$ for any $p \in S^1$ has the same cardinality as $S^1$ but is homeomorphic to $\mathbb{R}$. \ No newline at end of file