(в программировании) обращение иерархии исходных типов на противоположную в производных типах ◆ Не путайте контравариантность с ковариантными типами возвращаемых значений. С. К. Дьюхэрст, «Скользкие места С++», 2006 г.
(в тензорном анализе) свойство величин изменяться с помощью преобразования, обратного преобразованию базиса ◆ Отсутствует пример употребления (см. рекомендации).[НКРЯ]