trait

felixpernegger · felixpernegger · commit 2cf7c3b6365f · 2026-03-30T23:48:50.000+02:00
diff --git a/properties/P000036.md b/properties/P000036.md
@@ -14,3 +14,4 @@ Defined on page 7 of {{zb:0386.54001}}.
 #### Meta-properties
 
 - $X$ satisfies this property iff its Kolmogorov quotient $\text{Kol}(X)$ does.
+- An arbitrary product satisfies this property iff each of its factors does.
diff --git a/spaces/S000181/properties/P000036.md b/spaces/S000181/properties/P000036.md
@@ -0,0 +1,7 @@
+---
+space: S000181
+property: P000036
+value: false
+---
+
+$X\cong (\omega_1 + 1) \times X$ and {S36|P36}.

Original file line number	Diff line number	Diff line change
`@@ -14,3 +14,4 @@ Defined on page 7 of {{zb:0386.54001}}.`
`14`	`14`	`#### Meta-properties`
`15`	`15`
`16`	`16`	`- $X$ satisfies this property iff its Kolmogorov quotient $\text{Kol}(X)$ does.`
	`17`	`+- An arbitrary product satisfies this property iff each of its factors does.`