Definition

where is Wasserstein Distance, and denotes the 1-Lipschitz Continuity of the function .