В программировании существуют следующие виды предикатов:

• Тождественно-истинный. 2 Способный принимать истинное значение в случае использования любого набора значений аргумента. 2
• Тождественно-ложный. 2 Предикат, для которого использование любого набора значений аргумента приводит к принятию им ложного значения. 2

Также в программировании есть встроенные предикаты, например:

• std::less — предикат сравнения меньше для типа T; 4
• std::greater — предикат сравнения больше для типа T; 4
• std::equal_to — предикат сравнения равенства для типа T. 4