universal quantifier

Noun

 * 1)  The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set. Verbal equivalents include "for each" and "for every".

Translations

 * Czech: univerzální kvantifikátor
 * Finnish: universaalikvanttori, kaikkikvanttori
 * French:
 * German:, Universalquantor
 * Icelandic: allsherjarmagnari, allsherjarvirki
 * Polish:
 * Russian: ква́нтор всео́бщности
 * Vietnamese: lượng từ với mọi, lượng từ phổ dụng