1: \begin{definition}

2: Let $B\subset N$ be finite von Neumann algebras. From Theorem \ref{conditonalexpectation}, the \textbf{conditional expectation} $E_B:N\rightarrow B$ is defined by $E_B=e_B|_N$.

3: \end{definition}

4: