For All

The universal quantifier symbol $\forall$, read as “for all” or “for every.” Used in universal quantification to assert that a predicate holds for every element in a domain.

See Also

• universal quantification
• existential quantification
• there exists
• universal set