Sean y dos conjuntos cualesquiera. El conjunto diferencia de y , que se representa por , es el conjunto formado por todos los elementos que están en , pero no están en .
Sean y dos conjuntos. La diferencia de conjuntos es:

Los elementos que pertenecen a la diferencia de conjuntos son aquellos elementos que pertenecen a y no pertenecen a .
Ejemplo
- Si y , la diferencia de conjuntos es .
- Si y , entonces .
- Si y , entonces y .
Nótese que la diferencia de conjuntos no es una operación conmutativa y si son dos conjuntos disjuntos, entonces y .
La diferencia simétrica de dos conjuntos cualesquiera, se define como:
Algunas propiedades del conjunto diferencia son: