Let $H$ be a [Hilbert space](/page/Hilbert%20Space), let $M\subseteq\mathcal{L}(H)$ be a von Neumann algebra with identity $1$, and let $\varphi:M\to\mathbb C$ be a positive normal functional. Let $\mathcal P(M)$ denote the projection lattice of $M$, and define