With a new proof approach we prove in more general setting the classical convergence theorem that almost everywhere of measurable functions on finite measure space implies measure. Specifically, generalize for case where codomain is separable metric and limiting map constant an arbitrary topological space.