User:Dfeuer/Definition:Relation of Set Inclusion

Definition
The relation of set inclusion is the class of all ordered pairs $(x,y)$ such that $x \subseteq y$.