Diferencia de conjuntos

En teoría de conjuntos, la diferencia entre dos conjuntos es una operación que resulta en otro conjunto, cuyos elementos son todos aquellos en el primero de los conjuntos iniciales que no estén en el segundo. Por ejemplo, la diferencia entre el conjunto de los números naturales N y el conjunto de los números pares P es el conjunto de los números que no son pares, es decir, los impares I:

Como no hay ningún número par que no sea un número natural, la diferencia P menos N no tiene ningún elemento, por lo que es el conjunto vacío. La diferencia entre dos conjuntos A y B se denota por A \ B ó A − B, por lo que: N \ P = I, y también P − N = ∅.