Définition Si A et B sont deux ensembles, tels que A est inclus dans B, on appelle fonction indicatrice de A (relativement à B), la fonction 1A, définie de B dans {0,1}, et telle que :
- 1A(x)=1, si x est dans A.
- 1A(x)=0, si x n'est pas dans A.
Propriétés Soit E un ensemble et Ai des sous ensembles de E, on a
.