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