I was going by the mathematical version that the power set of a empty set is an empty set. Did I misunderstand something?