EGAVE
all-operator
Meaning
noun
Synonym of universal quantifier.
Save “all-operator” to learn later