Standard Lemma guide

contravariance

noun · 3 senses · updated from the 2026-07-25 local source snapshot

Definitions and examples are grouped by meaning. Pronunciation, history, word forms, translations, descendants, synonyms, antonyms, derived terms, and related words appear whenever the source provides them.

Sound

Pronunciation

Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.

  • US: Recorded audio is listed in the source snapshot.

1

noun

Meaning 1

The reversal of the order of data types acted upon by an operator.

Definition source: English Wiktionary via Wiktextract

Usage: countable, uncountable

Qualifier: object-oriented programming

No example sentence was provided for this meaning.

Meaning relationships

Synonyms: none provided

Antonyms: none provided

2

noun

Meaning 2

A functor which reverses composition.

Definition source: English Wiktionary via Wiktextract

Usage: countable, uncountable

Topics: category-theory, computing, engineering, mathematics, natural-sciences, physical-sciences, sciences

No example sentence was provided for this meaning.

Meaning relationships

Synonyms: none provided

Antonyms: none provided

3

noun

Meaning 3

Of vectors, the property of scaling inversely with a change of basis, as opposed to covariance.

Definition source: English Wiktionary via Wiktextract

Usage: countable, uncountable

Topics: linear-algebra, mathematics, sciences

No example sentence was provided for this meaning.

Meaning relationships

Synonyms: none provided

Antonyms: none provided

History

Etymology

Etymology tree Proto-Indo-European *ḱe? Proto-Indo-European *ḱóm Proto-Italic *kom Proto-Italic *kom- Proto-Indo-European *-teros Proto-Italic *-teros Proto-Italic *komterosder. Proto-Italic *komterād Latin contrābor. English contra- English variance English contravariance From contra- + variance.

Across languages

Translations

10 source translations are retained for this English entry.

  • Chinese Mandarin: 逆變 /逆变 (nìbiàn) — reversal of the order of data types acted upon by an operator
  • Finnish: kontravarianssi — reversal of the order of data types acted upon by an operator
  • French: contravariance — reversal of the order of data types acted upon by an operator
  • German: Kontravarianz — reversal of the order of data types acted upon by an operator
  • Kazakh: контраварианттық (kontravarianttyq) — reversal of the order of data types acted upon by an operator
  • Portuguese: contravariância — reversal of the order of data types acted upon by an operator
  • Romanian: contravarianță — reversal of the order of data types acted upon by an operator
  • Russian: контравариантность (kontravariantnostʹ) — reversal of the order of data types acted upon by an operator
  • Finnish: kontravarianssi — functor which reverses composition
  • German: Kofunktor — functor which reverses composition