Объединение

Пусть

и - исходные отношения,

- их схемы (Þ степень ),

и - их кардинальные числа.

Тогда

объединение - отношение, у которого:

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

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

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