Theorem
A spaceis said to be disconnected if the set
can be expressed as the union of at least two mutually exclusive, nonempty subsets of
The setis connected if it is not disconnected.
Given a spacewith the discrete topology, take
and consider the sets
Both these sets are open andand
and (X,T) is disconnected.
Any set with the trivial topology is connected since the only nonempty open subset ofis
itself.