Mathematical Statement

Universal Quantifier

Universally Quantified statement is of the form $\forall x\in S,P(x)$

Not to be confused with Existential Quantifier.