共変性と反変性
共変性（きょうへんせい、）と反変性（はんぺんせい、）とは、ある変換に対して変換の対象が示す性質のこと。圏論における一般化として共変関手および反変関手がある。