Set theory: difference between belong/contained and includes/subset?

Whenever you come across something like this and it trips you up, you might want to look at particular examples. For instance, consider $\{4\}$. $\{4\} \subset \{4\}$, but $\{4\} \in \{4\}$ is false, since the only member of $\{4\}$ is $4$, not $\{4\}$. It may have tripped you up that "includes" and "contains" in everyday language usually qualify as synonyms. They don't here, and the terms get defined by the definitions for $\in$ and $\subset$. You might want to prove that $A \subset A$ for any set $A$ as it can get proven in a line or two.


The point is that every set is a subset of itself, namely $A\subseteq A$ - always.

However $\in$ does not have this property, for example $\varnothing$ has no elements, in particular $\varnothing\notin\varnothing$. However $\varnothing\subseteq\varnothing$.

To make matters worse, $\varnothing\in\{\varnothing\}$ as well $\varnothing\subseteq\{\varnothing\}$. However $\varnothing\neq\{\varnothing\}$ since the empty set has no elements and the singleton $\{\varnothing\}$ has an element.

In the axiomatic approach to set theory, the commonly used axioms of ZF dictate that $A\notin A$ for every set $A$. This is a result of something called the axiom of regularity, or axiom of foundation. However there are useful instances of non-well founded set theory in which some sets have the form $x=\{x\}$. For more information on that: When is $x=\{ x\}$?

Regardless to that, it is always the case that $A\subseteq A$, and always the case that for some $B$ we have $B\notin B$.


If something belongs to set then it means thats it is an element of that set as a whole but if a set is a subset of another set then it means all the elements of that set belong to the set to which that set is a subset.

Ex: Lets take two sets $A=\{1,2,3\}$ & $B=\{x\mid x \text{ is a natural number and } x<5\}$
Here, clearly evey element of set $A$ is an element of set $B$ hence we can say $A$ is a subset of $B$ but we can't say $A$ belongs to $B$ as set $A$ as a whole is not an element of set $B$.

Ex 2: $A=\{1,2,3\}$ & $B=\{\{1,2,3\},4,5\}$
Here set $A$ is an element of set $B$ itself. Hence we can say that $A$ belongs to $B$ but here a is not a subset of B as any individual element of $A$ won't be an element of set $B$.