Yes. The empty set is a subset of every set, and the power set is the set of all subsets, so the power set of any set always includes the empty set (including the powerset of the empty set).