Пересечение

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

 

Тогда

пересечение - отношение, у которого:

 

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

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

 

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