Convexity of the Set of Transport Plans is a result from the foundations of optimal transport. For mathematical objects and mathematical objects be measurable spaces, let mathematical objects and mathematical objects, and let mathematical objects denote the set of probability measures mathematical object. It helps organize the relationship between Monge maps, Kantorovich plans, duality, and Wasserstein geometry.