Relación que describe un subconxunto A dun conxunto de referencia X. A función característica pódese expresar como χ

_A(x): x → {0, 1}, de maneira que é igual a 1 se x ? A e é nula en caso contrario.