(ΩB) and (U^k,U^k)) , are measurable spaces   are subfields of the product field  . Consider an N-tuple of functions   measurable. If for each ω∈Ω there exists a unique   satisfying the equations  , γ induces a unique map  .

Is this map necessarily  -measurable? A generic non-sequential stochastic control problem in which a related question arises is discussed, and the conditions on (ΩB) and (U^k,U^k)  , for which the original question's answer is affirmative are investigated. Specifically, it is shown that  is necessarily  -measurab1e when either (U^k,U^k)  are discrete, or (ΩB) and (U^k,U^k),  are Souslin