Is this mathematically correct? What is the powerset of the emptyset ?  It might just be the emptyset rather than {emptyset}