Compactness of the Coupling Set is a result from the foundations of optimal transport. For mathematical objects and mathematical objects be Polish spaces, let mathematical objects, and let mathematical objects. Define the coupling set (,) := \ (X Y) : (pX)\# = (pY)\# = \, where mathematical objec. It helps organize the relationship between Monge maps, Kantorovich plans, duality, and Wasserstein geometry.