A compactness result in approach theory with an application to the continuity approach structure

We establish a compactness result in approach theory which we apply to obtain a generalization of Prokhorov's Theorem for the continuity approach structure.