prenex

We say that 𝜙 is universal iff it can be written in prenex form — i.e. with all quantifiers at the beginning — using only universal quantifiers.