Power set

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

Failed to parse (unknown function "\subsetseq"): {\displaystyle \mathcal{P}X = \{ A : A \subsetseq X \} . \, }