afkorting gebruikt in de mathematische logica, voor ‘voor alle ...’.
Meest gebezigde notaties: (∀x), (∧ x) en (x) (zie Quantor).
Voorbeelden:
1. (∀x)(P(x)), spreek uit: ‘voor alle x geldt P(x)’ (waar P(x) een eigenschap is);
2. (∀x)(x2 > 0): ‘alle kwadraten zijn positief (waar x de natuurlijke getallen doorloopt);
3. (∀y)(|x|< y2) → x = 0, vertaling: ‘als x kleiner is dan elk positief getal, dan is x gelijk aan 0’.