In set theory, the power set of a set X is the set of all subsets of X.
The power set is ordered by inclusion, making it a lattice.