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