contravariance

noun3

1. •
   The reversal of the order of data types acted upon by an operator.
2. •
   A functor which reverses composition.
3. •
   Of vectors, the property of scaling inversely with a change of basis, as opposed to covariance.