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