  In this paper after defining the abstract concept of compatibility-like
functions on quantum states, we prove that every bijective transformation on
the set of all states which preserves such a function is implemented by an
either unitary or antiunitary operator.
