Characteristic function/Definition

A function on a set which takes the value 1 on a given subset and 0 on its complement.