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].
