nonempty

Author: felixpernegger

properties/P000036.md

@@ -14,4 +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.
+- An arbitrary product of nonempty spaces satisfies this property iff each of its factors does.