monter que (AUB) \ (A\B) = B