Предикат — это функция, возвращающая обобщённое булево значение.

< > <= >= = /=

элементарные арифметические