“…As this example shows, in the general infinite-dimensional setting, the systematic convexity of the value function would require an infinite-dimensional version of the convexity Lyapunov theorem. This in turn would necessitate, as expected, a strong nonatomic-like assumption on the underlying measure space, namely, the super-atomless or, equivalently, the saturation property of the given measure [20]: for each A \in \scrE with positive measure, the space L 1 (A, \mu ) given with respect to the relative \sigma -algebra \scrE A := \{ E \cap A : E \in \scrE \} is nonseparable [23]. In other words, the measure space (T, E, \mu ) is saturated if and only if ( [13]; see, also, [14,19,23,24] for other equivalences) \int T M (t)d\mu is convex for every multifunction M : T \rightri Z with measurable graph.…”