The power set of a set 
, 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 finite set represented by a list 
of its distinct elements
can be found in the Wolfram Language
using Subsets[s].
