Overgangsrett, i matematikk og logikk, enhver uttalelse av formen "Hvis aRb og bRc, så aRc," der "R" er en bestemt relasjon (f.eks."
er lik
”), A, b, c er variabler (termer som kan erstattes med objekter), og resultatet av å erstatte a, b og c med objekter er alltid en sann setning. Et eksempel på en transitive lov er "Hvis a er lik b og b er lik c, så er a lik c." Det er transitive lover for noen forhold, men ikke for andre. En transitive relasjon er en som holder mellom a og c hvis den også holder mellom a og b og mellom b og c for enhver substitusjon av objekter med a, b og c. Dermed,"
er lik
"Er en slik relasjon, som er"
er større enn
”Og“
er mindre enn
”
Det er to typer forhold som det ikke er noen transitive lover for: intransitive relasjoner og ikke-transitive relasjoner. En intransitiv relasjon er en som ikke holder mellom a og c hvis den også holder mellom a og b og mellom b og c for noen erstatning av objekter med a, b og c. Dermed,"
er den (biologiske) datteren til
”Er intransitiv, for hvis Mary er datter av Jane og Jane er datter av Alice, kan Mary ikke være datter av Alice. Like måte"
er kvadratet av
”Et ikke-overfølsomt forhold er en som kanskje eller ikke holder mellom a og c hvis den også holder mellom a og b og mellom b og c, avhengig av gjenstandene som erstattes av a, b og c. Med andre ord er det minst en substitusjon som forholdet mellom a og c holder, og minst en substitusjon som den ikke gjør på. Forholdene “
elsker
”Og“
er ikke lik
Er eksempler.
