Category:Definitions/Subset Relation

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Subset Relation.
Related results can be found in Category:Subset Relation.


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