Можете ли вы объяснить, что такое бинарный предикат в программировании?