diff --git a/properties/P000112.md b/properties/P000112.md
index a0d386d66..4aff0128c 100644
--- a/properties/P000112.md
+++ b/properties/P000112.md
@@ -11,7 +11,10 @@ refs:
 
 The topology contains a coarser topology which is {P53}.
 
-Equivalently, there is a continuous injective map from $X$ into some metrizable space.
+This is equivalent to each of the following:
+
+- There is a continuous injective map from $X$ into a metrizable space.
+- There is a continuous metric on $X$.
 
 ----
 #### Meta-properties