Predicate

A function whose value is either True or False.

See also And, False, Or, Predicate Calculus, True, XOR