prenex

Etymology
, from and, past participle of.

Adjective

 * 1)  Of a formula, having all of its quantifiers at the beginning.
 * "We say that $$\phi$$ is universal iff it can be written in prenex form &mdash; i.e. with all quantifiers at the beginning &mdash; using only universal quantifiers."
 * "We say that $$\phi$$ is universal iff it can be written in prenex form &mdash; i.e. with all quantifiers at the beginning &mdash; using only universal quantifiers."

Noun

 * 1)  The initial part of a prenex formula where all of the formula's bound variables are bound by logical quantifiers.
 * $$\forall x. \exists y. $$ is the prenex of the formula $$\forall x. \exists y. P(x,y) $$