Update properties/P000085.md

Co-authored-by: Moniker1998 <[email protected]>

properties/P000085.md

@@ -9,7 +9,7 @@ refs:
 The closure of every cozero set in $X$ is open (hence clopen).
 
 A *cozero set* is a set of the form $\{x\in X:f(x)>0\}$ for some continuous function $f:X\to\mathbb R$;
-that is, the complement of a zero set.
+equivalently, the complement of a zero set.
 
 Equivalently, any two disjoint open sets, at least one of which is a cozero set, have disjoint closures.