[contravariant]

Then your definition must be different from mine.

Which is possible. I mostly encountered them in the context of Ergodic Theory, in which case a preserved measure is very much non-optional.