all-operator

English

Noun

all-operator (plural all-operators)

  1. (logic) Synonym of universal quantifier.