An adaptor that converts a predicate function object, producing a new function object that when invoked yields the opposite value.

A negator inverts the truth value of the expression that it is applied to. The negator is often denoted by Ø or NOT.