1. (у математиці, фізиці) Такий, що змінюється протилежним чином відносно іншої величини при зміні базису або системи координат; протилежний до коваріантного.
2. (у програмуванні) Такий, що стосується зворотної залежності між типами даних, коли тип-спадкоємець може бути заміненим на тип-предок.