È l’operazione binaria non commutativa che consente di costruire una relazione che contiene tutte le tuple che appartengono al primo operando ma non al secondo.

Si denota con il simbolo .

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