Universal closure

formula without free variables obtained by adding a universal quantifier for every free variable

Pronunciation

Categories