Given a set 
, the power set of 
, sometimes also called the powerset, is the set of all subsets of 
. The order of a power set of a set of order 
is 
. Power sets are larger than the sets associated with them. The power set of 
is variously denoted 
or 
.
The power set of a given set 
can be found in the Wolfram Language using Subsets[s].
