1: \begin{definition}
2: Let $T$ and $\widehat T$ be as in Theorem \ref{tsir}.
3: The mapping $\widehat T$ is called \textit{measurable linear extension of
4: $T$}.
5: \end{definition}