exislentially quantified

связанный квантором существования;
стоящий под квантором существования