 It can be shown that a minimizer for this problem always exists when the cost function "c" is lower semi-continuous and Γ("μ", "ν") is a tight collection of measures (which is guaranteed for Radon spaces "X" and "Y").