同等性の態度とf機能を〜としましょう。
a〜b
b〜c
f（a）〜f（b）が本当ですか？
関数が同等性のクラスではなく、セットの要素で定義されている場合、等価性を維持できない場合があります。たとえば、多くの整数を2つのクラスの同等性（偶数と奇数数に分割します。次に、番号*a*= 4および*b*= 6は同等ですが、関数*f*（*x*）=*x*/2はそれらを非拡張数に変換します*f*（*a*）= 2および*f*（*b*）= 3.（そして*c*はあなたの質問でどのような役割を果たしますか？）