 Theorem 1  (P0), (P1) and (P2) hold if and only if there exists a strictly increasing function \(f\) such that, for any \(h, e, k \in \bL\) and any \(P \in \bP\), \(C_{P}(h, e\mid k) = f[P(h\mid e\wedge k)]\). 