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