Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm trying to show that class $C$ of all even-cardinality sets is not closed over powerset via counter-example.

Is it not closed because $|\wp(\{\emptyset\})|=1$ therefore it is not in $C$?

I was wondering mainly if the statement "$|\wp(\{\emptyset\})|=1$ because $\wp\{\emptyset\}=\{\{\emptyset\}\}$" was true.

share|cite|improve this question
Almost, but you have too many pairs of curly braces: $\varnothing$ is the only subset of $\varnothing$, so $\wp(\varnothing)=\{\varnothing\}$. $\wp(\{\varnothing\})=\{\varnothing,\{\varnothing\}\}$. – Brian M. Scott Sep 10 '12 at 7:13
I see, so the empty set is just $\emptyset$ – James Sep 10 '12 at 7:15
$\{\emptyset\}$ is not the same as $\{\{\emptyset\}\}$. $\{\emptyset\}$ is the one element set containing only the $\emptyset$. $\{\{\emptyset\}\}$ is the one element set containing $\{\emptyset\}$. – William Sep 10 '12 at 7:18
The empty set is $\varnothing$; it has no elements. $\{\varnothing\}$ is the set whose only member is the empty set, so it has one element. Where you write $\wp\{\varnothing\}$, you mean $\wp(\varnothing)$, the set of all subsets of the empty set; this is $\{\varnothing\}$, the one-element set whose only member is the empty set. – Brian M. Scott Sep 10 '12 at 7:18
up vote 4 down vote accepted

As noted in the comments, $P(\emptyset)=\{{\emptyset\}}$.


share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.