Definition:Subset Relation

Definition
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$.