A pair of coexistent observables which can be expressed as a
function of a third observable is characterised in terms of
positive operator bimeasures and jointmeasures. A
characterisation of sets of coexistent observables in terms
of consistent families of finite (nonorthogonal) resolutions
of identity is worked out.
