prenex
/ˈpriːnɛks/Logic
adjective
Designating a quantifier placed at the beginning of a formula which affects the whole formula; relating to or involving such a quantifier.
Origin
1930s; earliest use found in Journal of Symbolic Logic. From post-classical Latin praenexus tied or bound up in front, past participle of praenectere (though only recorded in past participle) from classical Latin prae- + nectere to bind, connect.