Undang-undang transitif, dalam matematik dan logik, setiap pernyataan bentuk "Jika aRb dan bRc, maka aRc," di mana "R" adalah hubungan tertentu (misalnya,"
adalah sama dengan
"), A, b, c adalah pemboleh ubah (istilah yang mungkin diganti dengan objek), dan hasil penggantian a, b, dan c dengan objek selalu merupakan ayat yang benar. Contoh undang-undang transitif adalah "Jika a sama dengan b dan b sama dengan c, maka a sama dengan c." Terdapat undang-undang transitif untuk beberapa hubungan tetapi tidak untuk yang lain. Hubungan transitif adalah hubungan antara a dan c jika ia juga berlaku antara a dan b dan antara b dan c untuk sebarang penggantian objek untuk a, b, dan c. Oleh itu,"
adalah sama dengan
"Adalah hubungan seperti itu,"
lebih besar daripada
"Dan"
kurang daripada
Terdapat dua jenis hubungan yang tidak ada undang-undang transitif: hubungan intransitif dan hubungan tidak transitif. Hubungan intransitif adalah hubungan yang tidak berlaku antara a dan c jika ia juga berlaku antara a dan b dan antara b dan c untuk penggantian objek untuk a, b, dan c. Oleh itu,"
adalah anak perempuan (biologi) dari
"Tidak transitif, kerana jika Mary adalah anak perempuan Jane dan Jane adalah anak perempuan Alice, Mary tidak boleh menjadi anak perempuan Alice. Begitu juga “
ialah dataran dari
"Hubungan tidak transitif adalah hubungan yang mungkin berlaku atau tidak berlaku antara a dan c jika ia juga berlaku antara a dan b dan antara b dan c, bergantung pada objek yang diganti dengan a, b, dan c. Dengan kata lain, terdapat sekurang-kurangnya satu penggantian di mana hubungan antara a dan c berlaku dan sekurang-kurangnya satu penggantian yang tidak berlaku. Hubungan"
suka
"Dan"
tidak sama dengan
Adalah contoh.
