quantificateur universel[Français]

nom
1 : a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things