El signo / significa

menos -
Propiedad: Unin interseccin

(A B) C=A (B (A B) C=A (B
Asociativa
C) C)

Conmutativa A B=B A A B=B A

Idempotente A A=A A A =A

Absorcin A (B A) = A A (A B) = A

A (B C) = (A B) A (B C) = (A B)
Distributiva
(B A) (A C)

Neutralidad A =A A U=A

A U=U A =

Complementacin A Al = U A Al =

Ley de De
(A B) l = A l Bl (A B) l = A l Bl
Morgan
Adems se cumple:

(A l) l = A, A - B = A B l, A - (B C) = (A - B) (A
- C), A - (B C) = (A - B) (A - C)
De la definicin de la diferencia de conjuntos, puede deducirse inmediatamente:

Elemento neutro. La diferencia entre un conjunto y el conjunto vaco es el propio

conjunto:

La diferencia de un conjunto menos l mismo es el conjunto vaco:

Estas igualdades son un caso particular de la siguiente propiedad:

La diferencia entre dos conjuntos es el conjunto vaco si y slo si el primero es

un subconjunto del segundo:

La diferencia entre dos conjuntos es igual al primer conjunto si y slo si ambos

conjuntos son disjuntos:

La interseccin de dos conjuntos es la parte que tienen en comn, mientras que la diferencia
es la parte que no comparten. Esto se traduce en la siguiente propiedad:

Dados dos conjuntos, su interseccin y su diferencia son disjuntos entre s, y su unin es el

primero de los conjuntos iniciales:

Esto quiere decir que la interseccin y la diferencia entre A y B son una

(posible) particin de A.

La diferencia de conjuntos est muy relacionada con el complemento de un conjunto:

El complemento de un conjunto es la diferencia entre el conjunto universal y l mismo:

Es por esto que la diferencia de dos conjuntos, A menos B, se denomina tambin
el complemento relativo de B respecto de A: A \ B es el complemento absoluto de B,
considerando a A como el conjunto universal . Las leyes de De Morgan y otras propiedades
del complemento de un conjunto tienen entonces su contrapartida en la diferencia de
conjuntos, si se tiene en cuenta que

Si se considera un conjunto universal, la diferencia entre dos conjuntos es la interseccin del

primero con el complemento del segundo: