where Γ(μ, ν) denotes the collection of all probability measures on X × Y with marginals μ on X and ν on Y.
where the supremum runs over all pairs of bounded and continuous functions φ : X → R and ψ : Y → R such that .