Predicate

A predicate is a logical function that upon evaluation by a computer resolves to either a 'true' or 'false' as the output of the function.