A logical relation, often symbolized ∀, that may be expressed by the phrase ``for all'' or ``for every''; if P is a predicate, the statement (∀x )P(x ) is true if P(x ) is true for all values of x in the domain of P, and is false otherwise.