¿Qué es un conjunto?

Es una colección de objetos en la cual siempre es posible determinar
si un objeto hace parte o no de la colección.


¿Cómo se pregunta si un objeto hace parte de un conjunto?

Para ello se utiliza el símbolo de la pertenencia \in (épsilon).  Dado
un objeto o y un conjunto X, se pregunta por la pertenencia de o a X
de la siguiente manera:

  o \in X

Cuando un objeto o hace parte de un conjunto X, se dice que o es
elemento de X.


¿Cómo se escriben o denotan los conjuntos?

Para denotar un conjunto se usan los corchetes { y }. Hay varios
estilos de escritura:

  - Enumeración:

     { o1, o2, o3 }

     { o1, o2, o3, ... }

  - Comprensión:

      { x | "tales que x ..." }


  Ejemplos

  (1)  { }                    (Conjunto vacío)

  (2)  { 0, 1, 2, 3 }         (Colección con 0, 1, 2 y 3)
  
  (3)  { 0, 1, 2, 3, ... }    (Colección de los números naturales)

  (4)  { x |  0 <= x <= 3 }   (La misma colección (2))

  (5)  { 2, 4, 6, 8, ... }    (Los números naturales pares sin el cero)

  (6)  { z | "z es par" y "z es impar" }
                              (La misma colección (1))

  (7)  { { } }                (La colección que contiene al conjunto vacío)

  (8)  { { }, a }             (La colección con los elementos {} y a)

  (9)  { 5, 5 }               (El conjunto { 5 })


  Comparaciones

  (1)  ¿ { 5, 5 } = { 5, { 5 } } ?      (no, son distintos: los agrupamientos
                                         importan)

  (2)  ¿ { 4, { 4 } } = { { 4 }, 4 } ?  (si, son iguales: el orden no importa)

  (3)  ¿ { 3 } = { 3, 3 } ?             (si, son iguales: las repeticiones no
                                         importan)


  Consultas

  (1) ¿ 5 \in { 5 } ?               (si)

  (2) ¿ 5 \in { { 5 } } ?           (no)

  (3) ¿ { 5 } \in { { 5 } } ?       (si)


Operaciones