定義
E と F を可換環 K 上の加群とする。
u: E → F を K-加群としての同型とする。
u^*: F^* → E^* を u の転置写像とする。
u^* の逆写像 (u^*)^(-1): E^* → F^* を u の反傾写像(contragredient)と呼び、
u^ と書く(岩波数学辞典第３版)。