 1.2 Definition:  A (countably additive) probability measure on \(L(\mathbf{H})\) is a mapping \(\mu : L \rightarrow\) [0,1] such that \(\mu(\mathbf{1}) = 1\) and, for any sequence of pair-wise orthogonal projections \(P_i, i = 1,2\),…