Выдержка из книги
Грэй П.N.
Логика,алгебра и базы данных
Отсюда видно, как можно использовать разность множеств, когда нужно записать квантор общности. Это не всегда так просто, и иногда приходится создавать разность разности множеств, как будет показано в гл.