Binary Predicate

Category: functors

Component type: concept

Description

A Binary Predicate is a Binary Function whose result
represents the truth or falsehood of some condition. A Binary Predicate
might, for example, be a function that takes two arguments and tests
whether they are equal.