S-map and tracial states
The notion of s-map introduced in quantum logics to define conditional expectations for non-compatible events is studied in projection lattices of von Neumann algebras. It is shown that every tracial state gives rise to an s-map, and conversely, every s-map defines a tracial state.
tracial state state orthomodular lattice conditional state