ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11491 on D41: Indicator function
F11491
Formulation 1
Let $X$ be a D11: Set such that
(i) $E \subseteq X$ is a D78: Subset of $X$
The indicator function on $X$ with respect to $E$ is the D218: Boolean function \begin{equation} X \to \{ 0, 1 \}, \quad x \mapsto |E \cap \{ x \}| \end{equation}