Monovariance of functions #
Two functions vary together if a strict change in the first implies a change in the second.
This is in some sense a way to say that two functions
f : ι → α,
g : ι → β are "monotone
together", without actually having an order on
This condition comes up in the rearrangement inequality. See