Un conjunto es una colección, reunión o agrupación de objetos que poseen una característica o propiedad común bien definida.

• Representación gráfica.

Unitario: tiene un único elemento. N(A) = 1
A = {*}

Infinito: no tiene una cantidad finita de elementos.
A = {x/x es número entero}

Referencial o Universo: cuando contiene todos los elementos
que deseen considerarse en un problema. Re o U
A = {x/x es una letra del alfabeto español}

Universal (∀): "para todo", “todo”, “para cada”, “cada”.

Existencial (∃): “existe”, “algún”, “algunos”, “por lo menos uno”, “basta que uno”.

Si A es subconjunto de B (A ⊆ B) pero B no es subconjunto de A (B ⊆/ A), se dice que A es SUBCONJUNTO PROPIO de B.

(A ⊂ B)⇔[(A ⊆ B)∧¬(A = B)]

El conjunto A es subconjunto de B si y sólo si los elementos de A están contenidos en B.

(A ⊆ B)⇔∀x[(x ∈A)→(x ∈B)]

Es aquel que está formado por todos los subconjuntos posibles de A.

Igualdad: Dos conjuntos A y B son iguales si y sólo si tienen los mismos elementos.

(A = B)⇔[(A ⊆ B)∧(B ⊆ A)]

Disjuntos: Los conjuntos A y B son DISJUNTOS si y sólo si A y B no tienen elementos en común.

Intersecantes: Los conjuntos A y B son INTERSECANTES si y sólo si A y B tienen al menos un elemento común.

Unión: A∪B = {x/(x ∈A)∨(x ∈B)}

Intersección: A∩B = {x/(x ∈A)∧(x ∈B)}

Diferencia: A−B = {x/(x ∈A)∧¬(x ∈B)}

Diferencia simétrica: A∆B = (A−B)∪(B−A) o también A∆B = {x/[(x ∈A)∧¬(x ∈B)]∨[(x ∈B)∧¬(x ∈A)]}

Complemento: AC = {x/(x ∈Re)∧¬(x ∈A)}