\begin{definition}[Definition:Disconnected (Topology)/Set/Definition 1]
Let $T = \struct {S, \tau}$ be a topological space.
Let $H \subseteq S$ be a non-empty subset of $S$.
$H$ is a '''disconnected set of $T$''' {{iff}} it is not a '''connected set of $T$'''.
Category:Definitions/Disconnected Spaces
\end{definition}