Existence of Optimal Transport 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 and bounded below. Define the feasible. It helps organize the relationship between Monge maps, Kantorovich plans, duality, and Wasserstein geometry.