No debe confundirse con Diferencia simtrica.

La diferencia entre los conjuntos A yB (y viceversa) es otro conjunto con todos los elementos del "minuendo", salvo los contenidos en el "sustraendo".

En teora de conjuntos, la diferencia entre dos conjuntos es una operacin que resulta en otro conjunto, cuyos elementos son todos aquellos en el primero de los conjuntos iniciales que no estn en el segundo. Por ejemplo, la diferencia entre el conjunto de los nmeros naturales N y el conjunto de los nmeros pares P es el conjunto de los nmeros que no son pares, es decir, los impares I: N = {1, 2, 3, 4, 5, ...} P = {2, 4, 6, 8,...} I = {1, 3, 5, 7, ...} Como no hay ningn nmero par que no sea un nmero natural, la diferencia P menos N no tiene ningn elemento, por lo que es el conjunto vaco. La diferencia entre dos conjuntos A y B se denota por A \ B A B, por lo que: N \ P = I, y tambin P N = .
Contenido [ocultar]

1 Definicin 2 Propiedades 3 Vase tambin 4 Bibliografa

[editar]Definicin

Diferencia entre los conjuntos A y B, y viceversa.

Dados dos conjuntos A y B, su diferencia, A \ B es el conjunto que contiene todos los elementos de A que no estn en B: La diferencia de A menos B (o entre A y B) es otro conjunto A \ B (o tambin A B) cuyos elementos son todos aquellos elementos de A que no lo sean de B:

La diferencia entre A y B tambin se denomina complemento relativo de B en A, y se denota AB, cuando el segundo es un subconjunto del primero. Este nombre proviene de la relacin entre las operaciones de diferencia y complemento (ver ms abajo). La norma ISO da preferencia a la notacin [cita requerida] con barra invertida. Ejemplo. Sean A = {, 5, z, R, 0} y B = {0, p, 9, z, }. Sus diferencias son A \ B = {, 5, R} y B \ A = {p, 9, } Sean los conjuntos de nmeros naturales P = {n: n es par} y P = {n: n es primo}. La diferencia P \ P es entonces {n: n es par y no es primo} = {n: nes par y compuesto} = {4, 8, 6, ...}. Por otro lado, P \ P = {n: n es primo y no es par} = {n: n es primo e impar} = {3, 5, 7, 11, ...}. En la introduccin se mostr que la diferencia P \ N es el conjunto vaco. Adems, P \ I es igual a P: ningn nmero par es a la vez un nmero impar.

[editar]Propiedades