mathematically, we call the function which takes an integer as argument and which returns a boolean indicating whether the given integer belongs to a set, the characteristic function of the set. for example, we can characterize the set of negative integers by the characteristic function (x: int)