A product measure construction is examined for semigroup valued
mappings. It is based on a version of Alexandroff theorem.
The results are applied to the existence of the joint
observable for some types of observables.
