Se define la diferencia de formula_2 con formula_4, denotada por formula_42 (que se lee A menos B), por el conjunto