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