Definitsioon: loogiline operaator, mis iseloomustab esemete (või predikaadi) valdkonda, mille kohta loogiline avaldis käib (EKSS)
Mõiste: üldisuskvantor
Ülemmõiste: funktsioon