Seja  X  um subconjunto de um conjunto S.  O  vetor característico  de  X  é um vetor  chi  indexado pelos elementos de S tal que

• chi[v] = 1  se v está em X  e
• chi[v] = 0  em caso contrário.

O vetor também pode ser booleano:

• chi[v] = true  se v está em X  e
• chi[v] = false  em caso contrário.