\begin{definition}[Definition:Comparable Sets/Subset Ordering]
Let $S$ and $T$ be sets.
Then $S$ and $T$ are '''comparable (with respect to the subset ordering)''' {{iff}} either:
:$S \subseteq T$
or:
:$T \subseteq S$
or both.
\end{definition}