Random set functions
Separately σ-additive and separately finitely additive complex functions on the Cartesian product of two algebras of sets are represented in terms of spectral measures and their finitely additive counterparts. Applications of the techniques include a bounded joint convergence theorem for bimeasure integration, characterizations of positive-definite bimeasures, and a theorem on decomposing a bimeasure into a linear combination of positive-definite ones.