integral function

For a given segment, the combination of its contributions must preserve the independence of contributions from non-adjacent segments. Put simply, this requires a function that distinguishes paths to be an integral function over the path segment of some local property of the path.