quantification universelle

Also known as for every, for all, given any, for any, any

type de quantificateur, une constante logique interprétée comme « étant donné », « pour tout », « quel que soit »