Quantificateur universel (n.m.)

quantifieur logique d'une proposition qui assert que cette proposition est vraie pour tous les membres d'une classe de choses <ex> "quel que soit" est l'unique quantifieur universel </ex> <ex> quel que soit x dans les nombres, x+0=0 ; pour tout nombre x, on a x+0=0 ; ∀ x ∈ R, (x+0=0) </ex>