En términos prácticos, la diferencia de un conjunto formula_2 con un conjunto formula_4, en ese orden, es el conjunto formado por todos los elementos que están en formula_2 pero no en formula_4