Elemento de un conjunto

Concepto fundamental de elemento o miembro de un conjunto y su naturaleza ontológica en la teoría de conjuntos.

Un elemento (o miembro) es cualquier objeto individual que forma parte de un conjunto. Los elementos pueden ser números, letras, figuras geométricas, personas o incluso otros conjuntos. Por ejemplo, en el conjunto $A = \{3, \text{"rojo"}, \Delta\}$, los elementos son el número $3$, la palabra "rojo" y la figura $\Delta$. Un conjunto que contiene conjuntos como elementos, como $B = \{1, \{2, 3\}\}$, tiene dos elementos: el número $1$ y el conjunto $\{2, 3\}$.

Definición formal

En la teoría de conjuntos, un objeto $x$ es un elemento (o miembro) del conjunto $A$ si satisface la relación binaria primitiva de pertenencia de primer orden:
$$x \in A$$
En la teoría axiomática pura de Zermelo-Fraenkel ($\text{ZF}$), no existen "ur-elementos" (átomos no conjuntistas); todo elemento es a su vez un conjunto:
$$\forall x \, (x \in A \to x \text{ es un conjunto})$$
En contextos matemáticos aplicados, los elementos pueden ser escalares, vectores, funciones o estructuras algebraicas.

Desglose simbólico

• Relación primitiva: $x \in A$ (se lee "$x$ pertenece a $A$" o "$x$ es elemento de $A$").
• Identificación por comas en extensión: Si $A = \{a_1, a_2, \dots, a_n\}$, cada $a_i$ es un elemento.
• Anidación conjuntista: En $C = \{1, \{2\}\}$, los elementos son $1$ y $\{2\}$ (el elemento $2 \notin C$).

Síntesis didáctica

La condición de ser elemento es puramente relacional: un mismo objeto puede actuar como elemento respecto a un conjunto de nivel superior y como conjunto respecto a sus propios miembros.

• Elemento de un conjunto: Objeto individual que compone o pertenece a una colección determinada.
• Miembro primitivo: Instancia de la relación binaria $\in$ en la posición izquierda ($x \in A$).
• Conjunto de conjuntos: Estructura donde los elementos miembros son a su vez conjuntos con sus propios elementos internos.

• No transitividad de la pertenencia: Si $x \in A$ y $A \in B$, en general $x \notin B$. Por ejemplo, $2 \in \{2\}$ y $\{2\} \in \{\{2\}\}$, pero $2 \notin \{\{2\}\}$.
• Axioma de regularidad / fundación: Ningún conjunto puede ser elemento de sí mismo ($\forall A, \, A \notin A$).

Dado el conjunto $M = \{5, \{7, 8\}, 9\}$, enumera todos sus elementos individuales y determina si el número $7$ es un elemento de $M$.