We consider several ordinal formulations of submodularity, defined for arbitrary binary relations on lattices. Two of these formulations are essentially due to Kreps [Kreps, D.M., 1979. A representation theorem for "Preference for Flexibility". Econometrica 47 (3), 565-578] and one is a...

A self-proclaimed expert uses past observations of a stochastic process to make probabilistic predictions about the process. An inspector applies a test function to the infinite sequence of predictions provided by the expert and the observed realization of the process in order to check the...