  A natural question is whether one can characterize those effect algebras of the special form \(\mathcal{E}(\mathbf{H})\).  One way in which effects arise naturally is in the context of sequential measurements.  If \(P\) is a projection, a measurement of \(P\) in state corresponding to the density operator \(W\) leaves the system in the state corresponding to the density operator