Fonction caractéristique d'un ensemble

On appelle fonction caractéristique d'un ensemble E la fonction $i_E$ définie par :
$i_E(x)=\{\begin{array}{ccc}1& \text{si }x\in \text{E}0& \text{si }x\notin \text{E}\end{array}$