Charakteristická funkce

${\displaystyle \chi _{A}:X\rightarrow \{0,1\}}$ je charakteristická funkce množiny A v množině X, pokud platí

${\displaystyle \chi _{A}(x)=\left\{{\begin{matrix}1&{\mbox{pokud}}\ x\in A,\\0&{\mbox{pokud}}\ x\notin A.\end{matrix}}\right.}$

Značení charakteristické funkce není jednotné, mimo ${\displaystyle \chi _{A}(x)}$ se používá také ${\displaystyle 1_{A}(x)}$, ${\displaystyle c_{A}(a)}$ či dokonce jen A(x) (zejména v teorii vyčíslitelnosti).

Jsou-li A a B dvě podmnožiny množiny X, pak platí

${\displaystyle \chi _{A\cap B}=\min\{\chi _{A},\chi _{B}\}=\chi _{A}\cdot \chi _{B},\,}$

${\displaystyle \chi _{A\cup B}=\max\{{\chi _{A},\chi _{B}}\}=\chi _{A}+\chi _{B}-\chi _{A}\cdot \chi _{B},}$

• pokud je charakteristická funkce množiny A obecně rekurzivní, je množina A rekurzivní

• Dirichletova funkce
• Fuzzy množina