Diferencia entre revisiones de «Teoría informal de conjuntos»

Contenido eliminado Contenido añadido
Línea 14:
== Conjuntos, pertenencia e igualdad ==
 
En la teoría informal de conjuntos, un conjunto es descrito como una colección de objetos bien definida. Dichos objetos son llamados elementos o miembros del conjunto y pueden ser de cualquier naturaleza: números, personas, otros conjuntos, etc. Por ejemplo, el 4 es un elemento del conjunto de todos los [[números enteros]]. Obviamente, el conjunto de todos los números es infinitamente grande; sin embargo, no es una condición obligatorianecesario que un conjunto sea precisamente finito para que pueda ser definido con precisión.
 
Si ''x'' es elemento de ''A'', entonces se dice que ''x'' pertenece a ''A'', o que ''x'' está en ''A''. En este caso, esta proposición se escribe o representa formalmente así: ''x'' ∈ ''A''.<ref>El símbolo de pertenencia "∈" fue introducido en 1888 por [[Peano]], inspirado en la grafía de la letra griega [[épsilon]], "ε".</ref> Mientras que usar el símbolo ∉ de esta manera: ''x'' ∉ ''A'', quiere decir que ''x'' no pertenece a ''A''.