Let $G$ be a D265: Monoid such that
Let $f : X \to G$ be a D18: Map.
(i) | $I_G$ is an D39: Identity element in $G$ |
Then
\begin{equation}
X = \mathsf{ker}(f) \cup \mathsf{supp}(f)
\end{equation}