\begin{definition}[Definition:Set Ordered by Inclusion]
Let $S$ be a set.
Then '''$S$ ordered by inclusion''' is the ordered set $\struct {S, \subseteq}$, where $\subseteq$ is the inclusion relation on $S$.
\end{definition}