Wiktionary
prenex
(context mathematics logic English) Of a formula, having all of its quantifiers at the beginning. n. (context mathematics logic English) Part at the beginning of a ''prenex'' formula where all of the formula's bound variables get bound by logical quantifiers.John Woldemar Cowan,