every

     

In preicate logic, universal quantification is an attempt to formalize the notion that something (a logical predicate) is true for everything, or every relevant thing. The resulting statement is a universally quantified statement, and we have universally quantified over the predicate. In symbolic logic, the universal quantifier (typically ∀) is the symbol used to denote universal quantification, and is often informally read as "given any" or "for all".