Broader Impact

The Π denotes the set of measure couplings whose marginals are P and Q, respectively. "blank" augmentation, which is an important property for proving the main theorem. Let d be a metric on X and 0 X . Therefore, we prove that the equality case must hold by contradiction. But practically the augmentations are specified to be different from the elements in the sets.