Universally quantified
Redirect to:
Universal quantification