Make T108 more like T89

Author: prabau

theorems/T000108.md

@@ -2,10 +2,11 @@
 uid: T000108
 if:
   and:
-  - P000047: true
   - P000234: true
+  - P000047: true
 then:
   P000052: true
 ---
 
-If every point has a connected neighborhood and the only connected sets are single points, then every point has a neighborhood consisting of the point itself.
+By {P47} the connected components of $X$ are singletons,
+so by {P234} every singleton is open.