UNIVERSALQUANTIFIER

universal quantifier

Noun

  1. The operator, represented by the symbol , used in predicate calculus to indicate that a predicate is true for all members of a specified set.
    Some verbal equivalents are "for each" or "for every".


The above text is a snippet from Wiktionary: universal quantifier
and as such is available under the Creative Commons Attribution/Share-Alike License.

Need help with a clue?
Try your search in the crossword dictionary!