O recurso do SQL que testa se uma subconsulta tem alguma tupla em seus resultados, cuja construção retorna o valor "Verdadeiro" se o argumento subconsulta estiver não-vazio, é denominado