1: \begin{definition} % confer https://en.wikipedia.org/wiki/Simple_function % TADA Vielleicht weiter oben beim Theorem zu 4.1.8 ansiedeln? (das Lemma weiter unten ist 4.1.9)

2: %    Each function in the set

3: %    \begin{equation*} % TADA define \unityfnc_A "indicator function"

4: %      \simples(M) = \set{f \from M \to \R \suchthat f(M) \text{ is finite}}\ (= \vecspan\set{\unityfnc_A \suchthat A \subseteq M}) \mathnote{$\simples(M)$}

5: %    \end{equation*}

6: %    is called \define{simple}\graffito{simple function}.

7: %%    The set of all maps from $M$ to $\R$ with finite image, that is, % TADA Anders als überall sonst ist dies keine "Double Duty" Definition.

8: %%    \begin{equation*} % TADA Solche Abbildungen "simple" nennen?

9: %%      \set{f \from M \to \R \suchthat f(M) \text{ is finite}}, \mathnote{$\simples(M)$}

10: %%    \end{equation*}

11: %%    is denoted by $\simples(M)$.

12: %  \end{definition}