Teora de conjuntos

Conjuntos
Un conjunto es la reunin en un todo de objetos bien definidos y
diferenciables entre si, que se llaman elementos del mismo.
Si a es un elemento del conjunto A se denota con la relacin de
pertenencia a e A.
En caso contrario, si a no es un elemento de A se denota ae A.

Tipos de
conjuntos
Conjuntos
disjuntos
Conjunto
Subconjunto:
Son aquellos
conjuntos que no
tienen elementos
en comn.
Un conjunto es
subconjunto de otro si
todos los elementos
de un conjunto
tambin pertenecen al
otro.
Operaciones
con
conjuntos
Dados dos conjuntos A y B, se llama diferencia al conjunto A B := {a e A | a e B}.
Asimismo, se llama diferencia simtrica entre A y B al conjunto A A B := (A B) (B A).
Si A e (U), a la diferencia U A se le llama complementario de A respecto de U,
y se denota abreviadamente por A' (U se supone fijado de antemano).
Es fcil ver que si A y B son subconjuntos cualesquiera de U se verifica:
o C ' = U .
o U ' = C .
o (A')' = A .
o A _ B B' _ A' .
o Si A = { x e U | p(x) es una proposicin verdadera} entonces A' = { x e U | p(x) es una proposicin falsa}.

Se llama unin de dos conjuntos A y B al conjunto formado por objetos que son elementos de A o de B,
es decir: A B := { x | x e A v x e B}.
Se llama interseccin de dos conjuntos A y B al conjunto formado por objetos que son elementos de A y de B,