Characteristic Function of Universe

Theorem
Let $S$ be a set.

Let $\chi_S: S \to \left\{ {0, 1}\right\}$ be its characteristic function (in itself).

Then:
 * $\chi_S = f_1$

where $f_1: S \to \left\{ {0, 1}\right\}$ is the constant mapping with value $1$.

Proof
From Characteristic Function Determined by 1-Fiber, $\chi_S$ is the mapping determined by:


 * $\forall s \in S: \chi_S \left({s}\right) = 1 \iff s \in S$

Thus:


 * $\forall s \in S: \chi_S \left({s}\right) = 1$

By definition of constant mapping:


 * $\chi_S = f_1$