Soit
un ensemble
d'éléments. La fonction caractéristique d'un ensemble E (ou E est un sous ensemble de
) est la fonction
définie sur qui
à tout élément x de
fait correspondre 1 si x appartient à E et 0 sinon. On note souvent
ce type de fonction 1EExemple de fonction caractéristique définie sur
: 
