Реляционная алгебра. Операция minus

[Smasher]

Помогите кто знает, как выразить операцию минус в Реляционной алгебре, через другие операции. облазил интеренет в описке, и такого не нашёл. Если можно то желательно с доказательством или ссылка на источник где это рассматривается. От этого зависит оценка на экзамене. Заранее благодарен.
Извеняюсь, если не по теме или офтоп, если на форуме обсуждалось, то пожалуйсто дайте ссылку.

 

[Ognev]

Если не ошибаюсь, то никак. Вроде как есть три базовых операции с множествами, дающими множество того же типа - вычитание, пересечение и объединение и они друг через друга не выражаются. Может кто меня поправит.

 

[AncleBenz]

В алгебре множеств: А \ В = А*(НЕ В)