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