Большой англо-русский и русско-английский словарь
мат. связанный квантором существования;
стоящий под квантором существования
English-Russian big polytechnic dictionary
связанный квантором существования
universally quantified — связанный квантором всеобщности