Subset

A set contained in another set, element by element.
Subset

A subset of a set BB is a set AA such that every element of AA is an element of BB:

AB    : ⁣        x(xAxB). A\subseteq B \;\;:\!\iff\;\; \forall x\,(x\in A \Rightarrow x\in B).

The subset relation is a basic way to compare and is used to define operations like and . Note that A=BA=B holds exactly when both ABA\subseteq B and BAB\subseteq A.

Examples:

  • {1,2}{1,2,3}\{1,2\}\subseteq \{1,2,3\}.
  • For any set AA, A\varnothing\subseteq A (see ).