covariant

co-（共に・共同で）+ variant（標準と異なる形の、変化する） で「一緒に変化する」。基準の側が変われば、それに合わせて同じ向きに変わる、という性質を指す。

数学・物理では「共変の」。座標を取り替えたときに基準と同じ規則で変換される量を covariant といい、逆向きに変換される contravariant（反変の）と対になる。プログラミングの型システムでも、型引数が同じ向きに従う関係を covariance（共変性）と呼ぶ。

co- は「連れ立って」、variant は「変わる側」。二つ合わせて「連れ立って変わる」と読めば、専門分野が違っても同じ意味だと分かる。