Дополнение проекции дополнения

[xagiwo]

Формула $\exists y{:}\; \varphi(x, y)$ задаёт проекцию множества $\{(x,y) \mid \varphi(x,y)\}$. Есть ли общеупотребимое название у множества $\{x \mid \forall y{:}\; \varphi(x,y)\}$?