Indicator function

For the moment, see what is said in integration on Rn.
They are generalized in topos theory.