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