Elemento de un Conjunto
Un elemento es un objeto individual que pertenece a un conjunto, denotado con el símbolo de pertenencia ∈.
Formula
x \in A \text{ (x is an element of A)}
Definition
Un elemento es simplemente una de las cosas dentro de un conjunto; el símbolo $\in$ significa "es miembro de" y $\notin$ significa "no es miembro de." Para un conjunto $A$, $x \in A$ significa que $x$ es un elemento de $A$, y los conjuntos pueden contener cualquier tipo de objeto, incluyendo otros conjuntos, así que $\{\{1,2\}, \{3,4\}\}$ tiene dos elementos, cada uno de los cuales es a su vez un conjunto. En ZFC, la relación de pertenencia $\in$ es la noción primitiva no definida a partir de la cual se construye toda la teoría de conjuntos, y todo elemento es a su vez un conjunto; la jerarquía iterativa $V_0 = \emptyset$, $V_{\alpha+1} = P(V_\alpha)$, $V = \bigcup V_\alpha$, es el universo de los conjuntos de ZFC, construido inductivamente a partir de la pertenencia.
Example
En el conjunto $A = \{2, 4, 6, 8\}$: $4 \in A$, pero $5 \notin A$. Sea $A = \{1, \{2, 3\}, 4\}$: entonces $1 \in A$, $\{2,3\} \in A$, y $4 \in A$, pero $2 \notin A$ ya que $2$ está dentro de un conjunto anidado, no directamente en $A$. El conjunto vacío $\emptyset$ es un elemento de $\{\emptyset\}$, y $\emptyset \subseteq$ todo conjunto, así que $\emptyset$ y $\{\emptyset\}$ son diferentes: $\emptyset$ tiene $0$ elementos, $\{\emptyset\}$ tiene $1$ elemento.
Key Insight
Piensa en un conjunto como un club y sus elementos como miembros: el símbolo $\in$ pregunta, "¿Está esta persona en el club?" La distinción entre un elemento y un subconjunto confunde a muchos estudiantes: $\{2\} \subseteq A$ porque $\{2\}$ es un subconjunto, pero $2 \in A$ porque $2$ (no $\{2\}$) es el elemento directamente en $A$. En la teoría de tipos, un fundamento alternativo, los elementos tienen tipos que restringen la pertenencia, evitando las paradojas de una manera distinta a ZFC.