Es la reunión 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 relación de pertenencia a Î A. relación de pertenencia a Î A. En caso contrario, si a no es un elemento de A se denota aÏ A.

� Æ : el conjunto vacío, que carece de elementos. � N: el conjunto de los números naturales. � Z: el conjunto de los números enteros. � Q : el conjunto de los números racionales. � Q : el conjunto de los números racionales. � R: el conjunto de los números reales. � C: el conjunto de los números complejos.

� Dados dos conjuntos A y B, se llama diferencia al conjunto A - B := {a Î A | a Ï B}. Asimismo, se llama diferencia simétrica entre A y B al conjunto A D B := (A - B) È (B - A). Si A Î Ã (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 fácil ver que si A y B son subconjuntos cualesquiera de U se verifica:� Æ ' = U . � Æ ' = U . � U ' = Æ . � (A')' = A . � A Í B Û B' Í A' . � Si A = { x Î U | p(x) es una proposición verdadera} entonces A' = { x Î U |

p(x) es una proposición falsa}.

� Se llama unión 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 Î A Ú x Î B}. Se llama intersección de dos conjuntos A y B al conjunto formado por objetos que son elementos de A y de B, formado por objetos que son elementos de A y de B, es decir: A Ç B := {x | x Î A Ù x Î B}.

Si A y B son subconjuntos de un cierto conjunto universal U, entonces es fácil ver que A - B = A Ç B'.