Abstract

A general algebraic system M is considered with two binary operations. The family of all measurable functions with values in the unit interval is a motivating example. A state is a morphism from M to the unit interval, an observable is a morphism from the family of Borel sets to M. A joint distribution of two observables is constructed. It is applied for the construction of the sum of observables and for a representation of conditional probability