the power set of a set is the set of all of its subsets.
given a set , the power set of is the set of all subsets of the set . the power set of is denoted by .
given a set of size , its respective powerset has a size . (refer to Rosen, Kenneth H., 2018 chapter 2.1.5 power sets)