User:Dfeuer/Definition:Relation of Set Inclusion

From ProofWiki
Jump to navigation Jump to search

Definition

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