1: \begin{definition}[measurability]\label{measurability}%

2: \index{concepts}{measurable}%

3: Let $\mathcal{E}$, $\mathcal{E}'$ be two $\sigma$-algebras on two

4: non-empty sets $\Omega,$ $\Omega'$ respectively. A function

5: $f : \Omega \to \Omega'$ is called \linebreak

6: \underline{$\mathcal{E}$-\,$\mathcal{E}'$ measurable} if

7: $f^{-1}(\Delta') \in \mathcal{E}$ for all $\Delta' \in \mathcal{E}'$.

8: A complex-valued function on $\Omega$ is called

9: \underline{$\mathcal{E}$-measurable}, if it is $\mathcal{E}$-$\mathcal{E}'$

10: measurable with $\mathcal{E}'$ the Borel $\sigma$-algebra of $\mathds{C}$.

11: A complex-valued function on $\Omega$ is $\mathcal{E}$-measurable

12: if and only if its real and imaginary parts are,

13: cf.\ \cite[Remark 2 p.\ 134 \& Equation (22.2) p.\ 133]{Bau}.

14: A real-valued function $f$ on $\Omega$ is \linebreak

15: $\mathcal{E}$-measurable if and only if $\{ \,f < \alpha \,\} \in \mathcal{E}$

16: for all $\alpha \in \mathds{R}$, cf.\ \cite[Theorem 9.2 p.\ 50 f.]{Bau}.

17: \end{definition}

18: