Definition:Relation of Set Inclusion

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

Also see

 * Definition:Set Ordered by Inclusion