Consider a state space S and a likelihood relation l over the space of events 2^S. Suppose that this respects the static Bayesian model, and so it is expressed by a probability measure p over S.

(i) Show that l is complete and transitive. [2]

(ii) (Advanced) Derive some testable implication of the static Bayesian model for l. [3]