\begin{definition}[Definition:Disjoint Sets]
Two sets $S$ and $T$ are '''disjoint''' {{iff}}:
:$S \cap T = \O$
That is, '''disjoint sets''' are such that their intersection is the empty set -- they have no elements in common.
\end{definition}