Вычитание

Допущения (см. операцию 3).

 

Тогда

вычитание - отношение, у которого:

 

схема (Þ степень),

кардинальное число .

 

Следовательно, кортежи результирующего отношения принадлежат уменьшаемому отношению и не принадлежат вычитаемому отношению (повторяющихся кортежей быть не может).