Fonction caractéristique d'un ensemble

Un article de Wikipédia, l'encyclopédie libre.

On appelle fonction caractéristique d'un ensemble E la fonction i_E\, définie par :
i_E (x)=\left\{\begin{matrix} 1 & \mbox{si }x\in\mbox{E} \\ 0 & \mbox{si }x\not\in\mbox{E}\end{matrix}\right.