Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

Herbert in his book "Elements of set theory" on page no 3 says that

we can form the set $ \{ \emptyset \} $ whose only member is $\emptyset $. Note that $ \{ \emptyset \} \neq \emptyset $, because $ \emptyset \in \{ \emptyset \} $ but $\underline{ \emptyset \notin \emptyset} $·

By the last argument $\emptyset \notin \emptyset$, is he saying that empty set is not a member of or does not belong to empty set


it is a typo and he wanted it to be $ \{\emptyset \} \notin \emptyset $, that set containing empty set is not a member of empty set

share|cite|improve this question
No typo here.${}$ – Michael Greinecker Feb 13 '13 at 11:08
Herbert? Herbert B. Enderton? – Martin Feb 13 '13 at 11:11
@Martin, yes, Herbert Enderton – Vikram Feb 13 '13 at 11:12
If you have an empty lunchbox, is there an empty lunchbox inside of your empty lunchbox? No? Now replace the words "empty lunchbox" with the empty set ;) – Arnab Datta Mar 8 at 16:32
Related: Is {∅} a subset of {{∅}}? – Scott Mar 24 at 2:41
up vote 12 down vote accepted

Of course the empty set is not an element of the empty set. Nothing is an element of the empty set. That's what "empty" means.

share|cite|improve this answer
(It is important to recognize that "nothing" plays an unusual role in English! And should not be confused with the idea of an "empty set") – Hurkyl Feb 13 '13 at 11:13
@Hurkyl, but that is how I remember/understand an "empty set" – Vikram Feb 13 '13 at 11:27
@Vikram: Then you are utterly confused. The empty set is not some essence of nothing. It is a set. Specifically, it is a set that has no elements. – Chris Eagle Feb 13 '13 at 11:29
Oh, I get it, thanx, – Vikram Feb 13 '13 at 11:36
  • No set is member of the empty set
  • In the usual axiomization of set theory (ZF or ZFC) no set is member of itself.

By either argument the empty set is not member of the empty set.

Maybe you were confused by the fact that the empty set trivially contains (as a subset, not as a member) the empty set; every set contains as a subset the empty set, and it also equally trivially contains itself as a subset. For the empty set these two cases are in fact the same, and indeed the empty set is the unique subset of the empty set.

share|cite|improve this answer

The empty set has no elements. So he is really saying that, as a particular case, the empty set is not a member of the empty set.

share|cite|improve this answer

The general form of the argument he makes is

$A\ne B$ because $C\in A$ but $C\notin B$.

That, by definition, is how you prove that two sets are different from each other -- you prove that there is something that is member of one but not of the other.

What you're reading is simply this argument where $A$ is $\{\varnothing\}$, and $B$ and $C$ both happen to be $\varnothing$.

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.