For quantum mechanical systems, an important assumption made in the quantum logic approach to quantum mechanics is the identification of yes–no questions to the lattice of closed subspaces of a Hilbert space. With some additional technical assumptions one can then infer that states are given by density operators S so that: