prawo Przechodnie, w matematyce i logice, każde stwierdzenie postaci „jeśli aRb i bRc, to aRc”, gdzie „R” jest szczególną relacją (np. „…jest równe…”), A, b, c są zmiennymi (terminy, które mogą być zastąpione obiektami), a wynik zastąpienia A, b i c obiektami jest zawsze prawdziwym zdaniem. Przykładem prawa przechodniego jest „jeśli A jest równe b i b jest równe c, to a jest równe c”. istnieją prawa przechodnie dla niektórych relacji, ale nie dla innych. Relacja przechodnia to taka, która utrzymuje się między a i c, jeśli utrzymuje się również między A i b oraz między b I c dla dowolnego zastąpienia obiektów dla A, b i c. Tak więc, „…jest równe…” jest taką relacją, jak „…jest większe niż…” i „…jest mniejsze niż…”

istnieją dwa rodzaje relacji, dla których nie ma praw przechodnich: relacje nietransitywne i relacje nietransitywne. Relacja nieprzechodnia to taka, która nie utrzymuje się między A i c, jeśli utrzymuje się również między A i b oraz między b I c dla dowolnego podstawienia obiektów dla A, b i c. Tak więc, „…jest (biologiczną) córką…” jest nieprzejednana, ponieważ jeśli Mary jest córką Jane, a Jane jest córką Alice, Mary nie może być córką Alice. Podobnie”…jest kwadratem … ” nietranzytywna relacja to taka, która może, ale nie musi, utrzymywać się między a i c, jeśli również utrzymuje się między A i b oraz między b I c, w zależności od obiektów podstawionych na A, b I c. innymi słowy, istnieje co najmniej jedno podstawienie, na którym utrzymuje się relacja między A i c, i co najmniej jedno podstawienie, na którym nie ma. Relacje”… kocha … ” i „… nie jest równa … ” są przykładami.