A type of function which returns a True or False value (compare: YesNoQuestion).

See also:
* http://en.wikipedia.org/wiki/Predicate_%28mathematical_logic%29
* FuzzyPredicate
* PredicateLogic