Hadwiger's Theorem for definable functions

Hadwiger's Theorem states that En-invariant convex-continuous valuations of definable sets in Rn are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable R-valued functions on Rn. This generalizes intrinsic volumes to (dual pairs of) non-linear valuations on functions and provides a dual pair of Hadwiger classification theorems.