Контраваріантність — властивість математичних об’єктів (наприклад, тензорів, функторів, векторів) змінювати свої компоненти або координати обернено до базису або аргументу при зміні системи відліку або відображенні.
Контраваріантність — у теорії категорій та функторіальному аналізі: властивість функтора змінювати напрямок морфізмів (стрілок) на протилежний при збереженні їх композиції.