Characteristic Function of Union/Variant 1

Theorem
Let $A, B \subseteq S$.

Let $\chi_{A \cup B}$ be the characteristic function of their union $A \cup B$.

Then:
 * $\chi_{A \cup B} = \min \left\{{\chi_A + \chi_B, 1}\right\}$

Proof
By Characteristic Function Determined by 1-Fiber, it suffices to show:


 * $\min \left\{{\chi_A \left({s}\right) + \chi_B \left({s}\right), 1}\right\} = 1 \iff s \in A \cup B$

By the nature of the minimum, this amounts to showing that:


 * $\chi_A \left({s}\right) + \chi_B \left({s}\right) \ge 1 \iff s \in A \cup B$

As $\chi_A, \chi_B$ are characteristic functions, the left-hand side amounts to:


 * $s \in A \lor s \in B$

which is precisely the definition of $s \in A \cup B$.