A o conjunto de todas as instânciasipertencentes a A ou B ou ambos, quando A e B possuem uma união compatível.
B o conjunto de todas as instânciasipertencentes a A e B, quando A e B possuem uma união compatível.
C o conjunto de todas as instânciasipertencentes a A mas não pertencentes a B, quando A e B possuem uma união compatível.
D o conjunto de todas as instânciasi, quandoié a concatenação de uma instânciaxde A com uma instânciayde B.
E o conjunto de valoresn, tais que os pares (n, m) aparecem em A para todos os valoresmque aparecem em B.