推移法則は、数学と論理学において、”if aRb and bRc,then aRc”という形式の文で、”R”は特定の関係（例えば、”…は…に等しい”）であり、a、b、cは変数（オブジェクトに置き換えることができる項）であり、a、b、cをオブジェクトに置き換えた結果は常に真の文である。 推移的法則の例は、「aがbに等しく、bがcに等しい場合、aはcに等しい」というものです。 したがって、”…is equal to…”はそのような関係であり、”…is greater than…”と”…is less than…”

推移的な法則がない関係には自動詞関係と非推移的関係があります。 自動詞関係とは、a、b、およびcのオブジェクトの置換について、aとbの間およびbとcの間にも保持される場合、aとcの間に保持されない関係です。 なぜなら、メアリーがジェーンの娘であり、ジェーンがアリスの娘であるならば、メアリーはアリスの娘になることはできないからです。 同様に、”…is the square of…”非推移的関係は、aとbの間およびbとcの間にも成り立つ場合、a、b、およびcに置き換えられた対象に応じて、aとcの間にも成り立つかもしれないし、成立しないかもしれない関係である。 “…愛…”と”…は等しくない…”の関係は例です。