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