 In other words, it is the predication of a property or relation to every member of the domain.It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.It is usually denoted by the turned A (∀) logical operator symbol, which, when used together with a predicate variable, is called a universal quantifier ("∀x", "∀(x)", or sometimes by alone).