diff --git a/properties/P000079.md b/properties/P000079.md
index 78805c7a6..8d343eea9 100644
--- a/properties/P000079.md
+++ b/properties/P000079.md
@@ -19,4 +19,5 @@ Equivalently, for every set $A\subseteq X$ that is *not* closed in $X$, there is
 
 - This property is hereditary with respect to closed sets (see {{mathse:479808}}).
 - This property is hereditary with respect to open sets (see {{mathse:479808}}).
+- This property is preserved by arbitrary disjoint unions.
 - This property is preserved by quotient maps.
diff --git a/theorems/T000886.md b/theorems/T000886.md
index b94ebb25f..8f1e36da7 100644
--- a/theorems/T000886.md
+++ b/theorems/T000886.md
@@ -3,7 +3,7 @@ uid: T000886
 if:
   P000240: true
 then:
-  P000141: true
+  P000079: true
 ---
 
-See Proposition 3.3 in <https://ncatlab.org/nlab/show/CW+complex>.
+CW complexes are quotient of disjoint union of cells, where each cell is {P79}.