diff --git a/properties/P000219.md b/properties/P000219.md
new file mode 100644
index 000000000..a6326f0e6
--- /dev/null
+++ b/properties/P000219.md
@@ -0,0 +1,13 @@
+---
+uid: P000219
+name: Toronto
+refs:
+  - wikipedia: Toronto_space
+    name: Toronto space on Wikipedia
+  - zb: "1286.54032"
+    name: The Toronto Problem (W. R. Brian)
+---
+
+Every subspace $Y \subseteq X$ with $|Y|=|X|$ is homeomorphic to $X$.
+
+In {{zb:1286.54032}} it is shown that under GCH, every {P3} Toronto space is {P52}.
diff --git a/theorems/T000814.md b/theorems/T000814.md
new file mode 100644
index 000000000..51a8db5a6
--- /dev/null
+++ b/theorems/T000814.md
@@ -0,0 +1,9 @@
+---
+uid: T000814
+if:
+  P000129: true
+then:
+  P000219: true
+---
+
+Let $Y\subset X$ with $|Y|=|X|$. Then any bijection $Y \to X$ is a homeomorphism.
diff --git a/theorems/T000815.md b/theorems/T000815.md
new file mode 100644
index 000000000..4a667ae98
--- /dev/null
+++ b/theorems/T000815.md
@@ -0,0 +1,11 @@
+---
+uid: T000815
+if:
+  and:
+  - P000219: true
+  - P000078: false
+then:
+  P000204: false
+---
+
+Assume $X$ has a cut point $p$. Then $|X\setminus \{p\}|=|X|$, but the two spaces cannot be homeomorphic as $X$ is {P36} and $X \setminus \{p\}$ is not.
diff --git a/theorems/T000816.md b/theorems/T000816.md
new file mode 100644
index 000000000..75f4923ed
--- /dev/null
+++ b/theorems/T000816.md
@@ -0,0 +1,9 @@
+---
+uid: T000816
+if:
+  P000222: true
+then:
+  P000219: true
+---
+
+Let $Y\subset X$ with $|Y|=|X|$. Then any bijection $Y \to X$ is a homeomorphism.
diff --git a/theorems/T000817.md b/theorems/T000817.md
new file mode 100644
index 000000000..15048d117
--- /dev/null
+++ b/theorems/T000817.md
@@ -0,0 +1,9 @@
+---
+uid: T000817
+if:
+  P000052: true
+then:
+  P000219: true
+---
+
+Let $Y\subseteq X$ with $|Y|=|X|$. Then any bijection $Y \to X$ is a homeomorphism.
diff --git a/theorems/T000818.md b/theorems/T000818.md
new file mode 100644
index 000000000..9d0246143
--- /dev/null
+++ b/theorems/T000818.md
@@ -0,0 +1,9 @@
+---
+uid: T000818
+if:
+  P000078: true
+then:
+  P000219: true
+---
+
+For a finite space $X$, the only subspace with the same cardinality is $X$ itself, which is trivally homeomorphic to $X$.