È l’operazione binaria commutativa che consente di costruire una relazione che contiene tutte le tuple che appartengono a entrambi gli operandi

Si denota con il simbolo .

N.B..: I due operandi devono essere union compatibili.