Expected utility consistent extensions of preferences

We consider the problem of extending a (complete) order over a set to its power set. The extension axioms we consider generate orderings over sets according to their expected utilities induced by some assignment of utilities over alternatives and probability distributions over sets. The model we propose gives a general and unified exposition of expected utility consistent extensions whilst it allows to emphasize various subtleties, the effects of which seem to be underestimated - particularly in the literature on strategy-proof social choice correspondences.