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