quantifier
logical operator specifying how many entities in the domain of discourse that satisfy an open formula
en-GB/kwɒntɪfaɪə/
en-US/ˈkwɑntəˌfaɪɚ/
logical operator specifying how many entities in the domain of discourse that satisfy an open formula