Solution (source code)

= Solution

A subset is <connected> if it has no decomposition into two disjoint nonempty sets both relatively open in it. Equivalently its only relatively <clopen> subsets are itself and the empty set. <Connectedness> here refers to the subset's induced topology.