1: \begin{definition}\label{DefinitionWAlgebra} A $*$-subalgebra

2: $\mathcal{A}\subset L(H)$ is called a {\it von Neumann (or $W^*$-) algebra}

3: if it meets the conditions of Theorem \ref{TheoremBicommutant}.\end{definition}

4: