Tensor product of difference posets

Abstract

A tensor product of difference posets, which generalize orthoalgebras and orthomodular posets, is defined, and an equivalent condition is presented.In particular, we show that a tensor product for difference posets with a sufficient system of probability measures exists, as well as a tensor product of any difference poset and any Boolean algebra, which is isomorphic to a bounded Boolean power.