Diferencia entre revisiones de «Matemáticas/Teoría de conjuntos/Intuitiva/Conjuntos»

para indicar que el objeto <math>a</math> es uno de los elementos del conjunto <math>x</math>. Es decir, el símbolo "<math>\in</math>", una versión de la letra griega <math>\epsilon</math> (épsilon), lo usaremos para representar la relación de pertenencia{{ref|1}}. Los argumentos de una relación son los objetos que acompañan a esa relación. En el ejemplo <math>xa \in ax</math>, los argumentos de la relación <math>\in</math> son <math>xa</math> (primer argumento) y <math>ax</math> (segundo argumento). Así, puede decirse que los primeros argumentos de la relación <math>\in</math> pertenecen al universo de los elementos, mientras que los segundos argumentos de esta misma relación pertenecen al universo de los conjuntos. Si aceptamos que todo es un conjunto (algo que, por ciertas razones que se verán en su momento, haremos cuando se desarrolle la teoría axiomática de conjuntos), entonces los primeros y segundos argumentos de <math>\in</math> pertenecen al mismo universo.

<center><math>a\in x</math> si y solo si <math>a\in xy</math></center>