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