A topology for Markov controls

For a controlled nondegenerate diffusion, a topology is defined on the set of all Markov relaxed controls, which is compact metrizable and with respect to which the resultant law of the diffusion with prescribed initial law is a continuous function of the control.