 The statements in this section are however all correct if formula_1 is a sequence of probability measures on a Polish space.The various notions of convergence formalize the assertion that the 'average value' of each 'sufficiently nice' function should converge