olemus
predikaatloogika operaator tähendusega "iga ... korral";
sümbol on ∀: kui P on predikaat, tähendab ∀xP(x) "iga x korral P(x)"
Wiktionary:
(logic) the operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set
Some verbal equivalents are "for each" or "for every".

ülevaateid
https://en.wikipedia.org/wiki/Universal_quantification
https://www.whitman.edu/mathematics/higher_math_online/section01.02.html
https://www.cs.odu.edu/~toida/nerzic/content/logic/pred_logic/quantification/quantification.html