Это термин, наиболее часто используемый в области математической логики.
Из википедии
В математике предикатом является либо отношение , либо булевозначная функция , которая составляет характеристическую функцию или индикаторную функцию такого отношения.
Функция P: X → {true, false} называется предикатом на X. Когда P является предикатом на X, мы иногда говорим, что P является свойством X.
.
"предикат" == "критерий фильтра"
Слово происходит от логики.
Предикат - это логический вопрос «is» о входных данных.
«IsNull» - это вопрос-предикат.
Кроме того, в Википедии есть ссылка на Предикаты в математике .