Power set

This article is about Power set. For other uses of the term Power, please see Power (disambiguation).

In set theory, the power set of a set X is the set of all subsets of X.

${\mathcal {P}}X=\{A:A\subseteq X\}.\,$

The power set is ordered by inclusion, making it a lattice.