Définition

Soit E un ensemble et A une partie de E.
On appelle 'fonction caractéristique' de A, la fonction :
χA : E → {0,1}
définie par:
χA(x)={ 1 si x ∈ A
0 si x ∉ A
On vérifie immédiatement les propriétés suivantes:
χA∩B=χA×χB
χA∪B=χA+χBA×χB