Полный англо-русский словарь
Преобразователь предикатов (функция, отображающая предикаты в предикаты)