Definition:Subset Relation

Definition
The inclusion relation, written $\subseteq$, is the class of all ordered pairs $\tuple {x, y}$ such that $x$ is a subset of $y$.

Also see

 * Definition:Set Ordered by Inclusion