diff --git a/spaces/S000219/README.md b/spaces/S000219/README.md
new file mode 100644
index 000000000..bb175d92a
--- /dev/null
+++ b/spaces/S000219/README.md
@@ -0,0 +1,10 @@
+---
+uid: S000219
+name: Discrete space of size $2^{\mathfrak c}$
+refs:
+  - wikipedia: Discrete_space
+    name: Discrete space on Wikipedia
+---
+
+Let $X$ be a set of cardinality $2^{\mathfrak c}$, for example the power set of $\mathbb R$,
+and let all subsets of $X$ be open.
diff --git a/spaces/S000219/properties/P000052.md b/spaces/S000219/properties/P000052.md
new file mode 100644
index 000000000..b98db7cad
--- /dev/null
+++ b/spaces/S000219/properties/P000052.md
@@ -0,0 +1,7 @@
+---
+space: S000219
+property: P000052
+value: true
+---
+
+By definition.
diff --git a/spaces/S000219/properties/P000059.md b/spaces/S000219/properties/P000059.md
new file mode 100644
index 000000000..a0c1715b7
--- /dev/null
+++ b/spaces/S000219/properties/P000059.md
@@ -0,0 +1,7 @@
+---
+space: S000219
+property: P000059
+value: true
+---
+
+By definition $|X| = 2 ^ \mathfrak{c}$
\ No newline at end of file
diff --git a/spaces/S000219/properties/P000163.md b/spaces/S000219/properties/P000163.md
new file mode 100644
index 000000000..ddabd7dc0
--- /dev/null
+++ b/spaces/S000219/properties/P000163.md
@@ -0,0 +1,7 @@
+---
+space: S000219
+property: P000163
+value: false
+---
+
+By definition $|X| = 2 ^ \mathfrak{c} > \mathfrak{c}$.