同等性の態度とf機能を〜としましょう。
a〜b
b〜c
f（a）〜f（b）が本当ですか？
「〜」の比率が同等の比率（反射、対称的、輸送）であり、関数Fがこの関係（つまり、Fが等価性を保持する）を維持する場合、このステートメントは真実であると思います。この場合、a〜bの場合、関係の保存を決定することにより、f（a）〜f（b）。
しかし、同じことに、関数fが関係を維持しない場合、または態度が同等でない場合、ステートメントが正しくない場合があります。次に、この場合、声明の真実を決定するために、関数Fと「〜」の態度についてもっと知る必要があります。