Disconnected space
= Disconnected space
A <topological space> is <disconnected space> if it can be written as the union of two disjoint nonempty <open subsets>. Such a pair is a <separation of a topological space>. Each of the subsets is also closed, and conversely a nontrivial subset that is both open and closed gives a <separation of a topological space> with its complement.