Sean A y B dos conjuntos cualesquiera, definimos el conjunto diferencia A-B a todos los elementos x que pertenecen al primer conjunto (A) y que no pertenecen al segundo conjunto.