Explore relationships

Universal quantifier

In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", "for every", or "given an arbitrary element". It expresses that a predicate can be satisfied by every member of a domain of discourse.

Use + to expand a branch. Click a topic name to open its summary.