これが故障です:
* 関係: 2つのことの関係。この関係は、「「等しい」、「「」、「「」、「Friend of」、または他の種類の接続のようなものである可能性があります。
* 推移的: 上記のプロパティが当てはまる場合、関係は推移的です。
例:
* 平等: a =bおよびb =cの場合、a =c。
* 未満: a * 友情: AがBの友人であり、BがCの友人である場合、AはCの友人です(友情が推移的な関係であると仮定します)。
非例:
* "は":よりも背が高い AがBよりも高く、BがCよりも高い場合、AがCよりも背が高いことを意味するわけではありません。
* "は":の親です AがBの親であり、BがCの親である場合、Aは親ではなくCの祖父母です。
要するに、推移的なプロパティにより、セット内の既存の関係に基づいて関係について推論することができます。 これは、論理と数学の基本的な概念です。
