Location-Invariant Properties of Functions Versus Properties of Distributions: United in Testing but Separated in Verification

«A property of functions is called location-invariant (or symmetric) if it can be characterized in terms of the frequencies in which each value occurs in the function, regardless of the locations in which each value occur...»