predicate transformer в энциклопедиях
преобразователь предикатов (функция, отображающая предикаты в предикаты)