power set

set of all subsets of S, including the empty set and S itself.