Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this community
Following are two statements from Enderton's book on set theory, I fail to understand that if empty set is a subset of every set then why can't it be a subset of $\{ \{ \emptyset \} \} $
(1) $\emptyset \subseteq A $, ($\emptyset$ is a subset of every set)
(2) $\{ \emptyset \} \nsubseteq \{ \{ \emptyset \} \} $·
$\{ \emptyset \} $ is not a subset of $\{ \{ \emptyset \} \} $ because there is a member of $\{ \emptyset \} $, namely $\emptyset$, that is not a member of $\{ \{ \emptyset \} \} .$
$\emptyset$ is a subset of every set indeed. But it is surely not a member of every set. Perhaps you are confusing these two related but different concepts?
The empty set is indeed a subset of $\{\{\varnothing\}\}$, as it is of every set, but that is not what (2) says. (2) says that the set $\{\varnothing\}$ is a subset of $\{\{\varnothing\}\}$, and $\{\varnothing\}$ clearly not empty: it has one element, the set $\varnothing$.
To see why $\{\varnothing\}\nsubseteq\{\{\varnothing\}\}$, you may find it helpful to give $\varnothing$ a different name temporarily, say $x$. Then the question is whether $\{x\}$ is a subset of $\{\{x\}\}$. What does it mean to say that $\{x\}\subseteq\{\{x\}\}$? It means that every element of $\{x\}$ is also an element of $\{\{x\}\}$. The only element of $\{x\}$ is $x$; is it true that $x\in\{\{x\}\}$? No: the only element of $\{\{x\}\}$ is $\{x\}$, which is not equal to $x$. Thus, $\{x\}\nsubseteq\{\{x\}\}$. This is true no matter what $x$ is. In particular, it’s true when $x=\varnothing$.
The only member of $\{\phi\}$ is $\phi$. The only member of $\{\{\phi\}\}$ is $\{\phi\}$. It must be clear that $\phi\neq\{\phi\}$
The empty set is a subset $\{\{\emptyset\}\}$, because is it a subset of every set.
But $\{\emptyset\}$ is not the empty set, but a set containing precisely one element, namely the empty set (it’s non an empty bag, but a bag containing an empty bag). So that $\{\emptyset\} \subsetneq \{\{\emptyset\}\}$ does not contradict the empty set being a subset of every set.
The empty set is a subset of every set. In particular, $\emptyset$ is a subset of $\{\{\emptyset\}\}.$
On the other hand, $\{\emptyset\}$ is not a subset of $\{\{\emptyset\}\}.$ So what? $\{\emptyset\}\ne\emptyset.$
The empty set is a subset of every set, irregardless of what Dilbert says.
