Le quantificateur universel, noté ∀, signifie « pour tout » ou « quel que soit ».

Exemple :
∀x ∈ ℝ, x² ≥ 0 signifie que « pour tout réel x, son carré est positif ou nul ».