Existence of Optimal Kantorovich Plans is a result from the foundations of optimal transport. For mathematical objects and mathematical objects be Polish spaces, let mathematical objects and mathematical objects, and let mathematical objects be lower semicontinuous. Assume that mathematical objects is b. It helps organize the relationship between Monge maps, Kantorovich plans, duality, and Wasserstein geometry.