It maps a single world to a single utility measure, but it's still defined over all worlds,

I meant "the domain of a utility function is a single world."

However, it turns out that the standard terminology includes both utility functions over a single world ("outcome"), and a big utility function over all possible worlds ("lottery").

My question/observation is still the same as it was, but my misuse of the terminology has mangled this whole thread.