Indicator function

Characteristic function in recursion theory, Gödel's and Kleene's representing function