# Subset

In set theory, a subset of a set X is a set A whose elements are all elements of X: that is, ${\displaystyle x\in A\Rightarrow x\in X}$, denoted ${\displaystyle A\subseteq X}$. The empty set Ø and X itself are always subsets of X. The containing set X is a superset of A. The relation between the subset and the superset is inclusion, and the inclusion map is the map from AX which is the identity on A.