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...