In mathematics, the power set of a set "S", written as formula_1 or formula_2, is the set of all subsets of S. In terms of cardinality, a power set is larger than the set it originates from. If "S" is a finite set with "n" elements, then formula_1 would have formula_4 elements.