Functional Characterisation of Pushforward Measures is a result from the foundations of optimal transport. For mathematical objects and mathematical objects be measurable spaces, let mathematical objects be a probability measure on mathematical objects, let mathematical objects be a probability measure on mathematic. It helps organize the relationship between Monge maps, Kantorovich plans, duality, and Wasserstein geometry.