Strong c-monotonicity ($u(x)+v(y)\le c(x,y),u+v=c\pi \text{-a.e.}$)

A transport plan is strongly c-monotone if Borel Kantorovich potentials satisfy the displayed feasible inequality everywhere and equality almost everywhere for the plan. Extended values $-\infty$ away from the full marginal-measure sets may be permitted. This is a potential certificate, not a strict version of every cyclic inequality. A finite continuous cost allows the transport potential path construction.

For a nonnegative cost, simultaneous symmetric clipping preserves feasibility of a pair of Kantorovich potentials. On their equality set the clipped sums are nonnegative and increase to the cost. Their bounded integrals are fixed by the marginals, so monotone convergence theorem proves optimality without subtracting undefined infinite marginal integrals.

Anchor a countable dense subset of a closed c-cyclically monotone support. Take the infimum of accumulated differences $c(x_{j+1},y_j)-c(x_j,y_j)$ along chains ending at a variable point. Cyclical monotonicity bounds this potential below on the support projection. Its cost transform gives the other potential, with equality on the support. Continuity makes both potentials upper semicontinuous and thus Borel.