Indicator function

This article is about the 0-1 indicator function. For the 0-infinity indicator function, see characteristic function (convex analysis).
Characteristic function in recursion theory, Gödel's and Kleene's representing function