Power set

Power set of a set S is the set of all subsets of S.