 Universal quantification

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