Determine whether each of these sets is the power set of a set, where a and b are distinct elements. a.∅ c.{∅,{a},{∅,a}}

A. cannot be the power set of any set. Consult Cantor's theorem, which says that the cardinality of the power set of any set (even the empty set) is strictly greater than the cardinality of the set.

(No part b?)

c. Also not the power set of any set, because any power set must have elements, where is the cardinality of the original set. The cardinality of this set is 3, but there is no integer such that . This set would be a power set if (that is, the set containing the empty set) were a member of it.

Think of it as five or above give it a shove. change the 5 or above to the right to a zero and add one to the number on the left.