From 39e3ea3a1d0bfd006f3dc481bca0cda8090aef53 Mon Sep 17 00:00:00 2001 From: yhx-12243 Date: Fri, 22 May 2026 23:25:36 +0800 Subject: [PATCH 1/2] CW complexes are sequential --- properties/P000079.md | 1 + theorems/T000886.md | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/properties/P000079.md b/properties/P000079.md index 78805c7a60..8d343eea9d 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 b94ebb25ff..6390a86d04 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 . +CW complexes are quotient of disjoint union of cells, each cell is {P79}. From 99270a53fd30c8a59315a4f0237c6ab53c76102c Mon Sep 17 00:00:00 2001 From: yhx-12243 Date: Fri, 22 May 2026 23:29:16 +0800 Subject: [PATCH 2/2] Update T000886.md --- theorems/T000886.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/theorems/T000886.md b/theorems/T000886.md index 6390a86d04..8f1e36da76 100644 --- a/theorems/T000886.md +++ b/theorems/T000886.md @@ -6,4 +6,4 @@ then: P000079: true --- -CW complexes are quotient of disjoint union of cells, each cell is {P79}. +CW complexes are quotient of disjoint union of cells, where each cell is {P79}.