---
tag: 0GHS47PDAQ
kind: concept
name: Universal quantifier
aliases: [for-all, universal-quantification]
msc: [03B10]
sources:
  - url: https://en.wikipedia.org/wiki/Universal_quantification
    locator: lead section
same_as:
  wikidata: Q126695
  wikipedia: Universal quantification
---

## Summary

The universal quantifier $\forall$ expresses "for all".
A universally quantified statement says that a [[predicate|0T3DPBG981]] holds for every element of its domain.