 In terms of the comparison theory of projections, the identity operator is not (Murray-von Neumann) equivalent to any proper subprojection in the von Neumann algebra.Let formula_3 denote a finite von Neumann algebra with center formula_4.One of the fundamental characterizing properties of finite von Neumann algebras is the existence of a center-valued trace.