Upgrade ~locally connected to ~has open components

Author: GeoffreySangston

spaces/S000107/properties/P000041.md spaces/S000107/properties/P000234.mdspaces/S000107/properties/P000041.md renamed to spaces/S000107/properties/P000234.md

@@ -1,10 +1,10 @@
 ---
 space: S000107
-property: P000041
+property: P000234
 value: false
 refs:
 - mathse: 5012784
   name: Answer to "Is $\ell^\infty$ with box topology connected?"
 ---
 
-By {{mathse:5012784}} the connected component of an arbitrary point $x\in X$ is $A = \{y : y_n = x_n\text{ for all but finitely many }n\}$. Since $\text{int}(A) = \emptyset$, it follows that $x$ has no connected neighbourhoods.
+By {{mathse:5012784}} the connected component of an arbitrary point $x\in X$ is $A = \{y : y_n = x_n\text{ for all but finitely many }n\}$. Since $\text{int}(A) = \emptyset$, it follows that $A$ is not open.