\begin{definition}[Definition:Relation of Set Inclusion]
The '''relation of set inclusion''', written $\subseteq$, is the class of all ordered pairs $\left({x, y}\right)$ such that $x$ is a subset of $y$.
\end{definition}