Definition:Subset Relation

From ProofWiki
Jump to navigation Jump to search

Definition

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


Also known as

The subset relation is referred to as the inclusion relation by some sources.


Also see

  • Results about the subset relation can be found here.


Sources