Subset

In set theory, a subset of a set X is a set A whose elements are all elements of X: that is, $$x \in A \Rightarrow x \in X$$, denoted $$A \subseteq X$$. The empty set Ø and X itself are always subsets of X.

The power set of X is the set of all subsets of X.