Introducción

Un conjunto A se dice que contiene a un conjunto B, o que B está contenido en A. Si todo

elementos de B pertenece a A, en este caso escribimos A ⊃ B o B ⊂ A.
Si B ⊂ A, decimos que B es subconjunto de A, por ejemplo N ⊂ Z.
Una diferencia notable entre los conjuntos N y Z es de tipo algebraico, la ecuación a +
x = b donde x es la incógnita y a, b ∈ Z, tiene solución en Z, mientras que en N no
necesariamente.
Si un conjunto A está definido por una condición P que cumplen sus elementos, escribimos

A = {x : x cumple la condición P }
Por ejemplo:

A = {x : x es un número natural menor que 7}

descrito por comprensión
A = {x : x es un número natural par}

A = {1, 2, 3, 4, 5, 6}
descrito por extensión
A = {2, 4, 6, 8, 10, . . .}
p
Los números de la forma , donde p ∈ Z y q ∈ N son conocidos como los números
q
racionales. La colección de estos números se designa por Q y se llama el conjunto de los
números racionales. En sı́mbolos:
 
p
Q= : p ∈ Z, q ∈ N
q

Se tiene en particular que Z es subconjunto de Q, note que una diferencia importante entre
estos conjuntos es también de tipo algebraico. La ecuación ax = b con a 6= 0 y a, b ∈ Z
siempre tiene solución en Q y no siempre tiene solución en Z.
Los números racionales son muy importantes. Por ejemplo toda medición se basa en Q. La
utilidad de los números racional es diversas áreas de estudio, es principalmente de orden
técnico. Son usados para medir aproximadamente cantidades reales.
Dos conjuntos A y B se dicen que son iguales si tienen los mismos elementos, en este caso
escribimos A = B. Se tiene que A = B, si y sólo si A ⊂ B y B ⊂ A, i.e., hay doble
contención.
La sustracción de un conjunto A menos un conjunto B, es el conjunto:

A \ B := {x : x ∈ A y x 6∈ B}