Prokhorov Compactness Criterion is a result from the foundations of optimal transport. For mathematical objects be a Polish space, and let mathematical objects denote the set of Borel probability measures on mathematical objects, equipped with the topology of mathematical objects (Z)mathematical . It helps organize the relationship between Monge maps, Kantorovich plans, duality, and Wasserstein geometry.