Объединение

 

Пусть

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

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

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

 

Тогда

 

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

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

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

 

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