Element of a Set
Calculus & Advanced MathAn element is an individual object that belongs to a set, written using the membership symbol ∈.
Formula
x \in A \text{ (x is an element of A)}
Definition
An element is simply one of the things inside a set. The symbol $\in$ means "is a member of" and $\notin$ means "is not a member of."
Example
In the set $A = \{2, 4, 6, 8\}$: $4 \in A$ ($4$ is an element of $A$), but $5 \notin A$ ($5$ is not in $A$).
Key Insight
Think of a set as a club and its elements as members. The symbol $\in$ asks: "Is this person in the club?"
Definition
For a set $A$, $x \in A$ means $x$ is an element of $A$. Sets can contain any type of object, including other sets. The set $\{\{1,2\}, \{3,4\}\}$ has two elements, each of which is itself a set.
Example
Let $A = \{1, \{2, 3\}, 4\}$. Then $1 \in A$, $\{2,3\} \in A$, and $4 \in A$. But $2 \notin A$ ($2$ is inside a nested set, not directly in $A$).
Key Insight
The distinction between an element and a subset trips many students: $\{2\} \subseteq A$ because $\{2\}$ is a subset, but $2 \in A$ because $2$ (not $\{2\}$) is the element directly in $A$.
Definition
In ZFC, the membership relation $\in$ is the primitive undefined notion from which all set theory is built. The axioms constrain which objects can be elements of which sets. In type theory (an alternative foundation), elements have types that restrict membership, avoiding paradoxes differently than ZFC.
Example
In ZFC, every element is itself a set. The empty set $\emptyset$ is an element of $\{\emptyset\}$, and $\emptyset \subseteq$ every set. Thus $\emptyset$ and $\{\emptyset\}$ are different: $\emptyset$ has $0$ elements; $\{\emptyset\}$ has $1$ element.
Key Insight
The iterative hierarchy $V_0 = \emptyset$, $V_{\alpha+1} = P(V_\alpha)$ (power set), $V = \bigcup V_\alpha$ is the universe of ZFC sets, built inductively from the membership relation.