. Barthe, Let µ 1 ? D(A) and µ 2 ? D(B) be sub-distributions, ? ? R + and R be a binary relation over A & B. An (, ?)-approximate symmetric 1-lifting of µ 1 & µ 2 for R is a sub, Definition, vol.37