Prijelazni zakon, u matematici i logici, bilo koja izjava oblika "Ako su aRb i bRc, tada je aRc", gdje je "R" poseban odnos (npr."
jednako je
”), A, b, c su varijable (izrazi koji se mogu zamijeniti objektima), a rezultat zamjene predmeta a, b i c uvijek je istinita rečenica. Primjer prijelaznog zakona je "Ako je a jednak b, a b jednak c, tada je a jednak c." Za neke odnose postoje prijelazni zakoni, a za druge ne. Prijelazni odnos je onaj koji drži između a i c ako također drži između a i b i između b i c za bilo kakvu zamjenu predmeta za a, b i c. Tako,"
jednako je
"Takav je odnos, kao što je"
je veća od
"I"
je manje od
”
Postoje dvije vrste odnosa za koje ne postoje prijelazni zakoni: intransitivni odnosi i netransitivni odnosi. Intransitivni odnos je onaj koji se ne drži između a i c ako također drži između a i b i između b i c za bilo kakvu zamjenu predmeta za a, b i c. Tako,"
je (biološka) kći od
"Je neosjetljiva, jer ako je Marija kći Jane i Jane je kći Alice, Marija ne može biti kći Alice. Isto tako “
je trg od
„Nestansitivan odnos je onaj koji može ili ne mora sadržavati između a i c ako se drži i između a i b i između b i c, ovisno o objektima koji su zamijenjeni za a, b i c. Drugim riječima, postoji barem jedna zamjena u kojoj postoji odnos između a i c i barem jedna supstitucija u kojoj ne. Odnosi “
ljubavi
"I"
nije jednak
"Su primjeri.
