Skip to content

Commit af01d60

Browse files
fix product
1 parent 62be310 commit af01d60

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

properties/P000233.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,5 +28,6 @@ Compare with {P42}.
2828

2929
- $X$ satisfies this property iff its Kolmogorov quotient $\text{Kol}(X)$ does.
3030
- This property is hereditary with respect to clopen sets.
31-
- This property is preserved by arbitrary products.
31+
- This property is preserved by finite products.
32+
- This property is preserved by box products.
3233
- This property is preserved by arbitrary disjoint unions.

0 commit comments

Comments
 (0)