P62 hered. factor

yhx-12243 · yhx-12243 · commit 2b4f18dcc54e · 2026-03-31T10:47:46.000+08:00
diff --git a/properties/P000062.md b/properties/P000062.md
@@ -13,3 +13,4 @@ Every open cover of $X$ has a countable subcollection whose union is dense in $X
 
 - This property is hereditary with respect to clopen sets.
 - This property is preserved in any coarser topology.
+- If a nonempty product space satisfies the property, so does every factor.

Original file line number	Diff line number	Diff line change
`@@ -13,3 +13,4 @@ Every open cover of $X$ has a countable subcollection whose union is dense in $X`
`13`	`13`
`14`	`14`	`- This property is hereditary with respect to clopen sets.`
`15`	`15`	`- This property is preserved in any coarser topology.`
	`16`	`+- If a nonempty product space satisfies the property, so does every factor.`