Um banco de dados é construído segundo as definições abaixo apresentadas.

create table T1 (a integer, b integer);
create table T2 (b integer);

A consulta a seguir
select distinct a from T1 y where not exists( select 1 from T2 where not exists
( select 1 from T1 x where y.a = x.a and T2.b = x.b) )

implementa qual operação da álgebra relacional entre as relações T1 e T2?