Solution (source code)

= Solution

A <topological space> is <connected> when it cannot be written as the union of two disjoint nonempty <open sets>. Equivalently, the only subsets that are simultaneously open and closed are the empty set and the whole space. For a subset, <connectedness> refers to its <subspace topology>.