kvantor, mis tähendab, et konkreetses predikaatide klassis on kõikide objektide puhul predikaat rahuldatud