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