Kellerer Dual Attainment Theorem for Dominated Lower Semicontinuous Costs is a result from the foundations of optimal transport. For mathematical objects and mathematical objects be Polish spaces equipped with their Borel mathematical objects-algebras, let mathematical objects and mathematical objects be Borel probability measures, and l. It helps organize the relationship between Monge maps, Kantorovich plans, duality, and Wasserstein geometry.