Matemaatika ja loogika üleminekusäte, mis tahes vormis avaldus kujul “Kui aRb ja bRc, siis aRc”, kus “R” on konkreetne seos (nt “
on võrdne
”), A, b, c on muutujad (mõisted, mida võidakse asendada objektidega) ning a, b ja c objektide asendamise tulemus on alati tõene lause. Transitiivse seaduse näide on "Kui a on võrdne b-ga ja b on võrdne c-ga, siis a on võrdne c-ga." Mõnede suhete jaoks on olemas üleminekuseadused, teiste jaoks aga mitte. Transitiivne suhe on selline, mis hoiab a ja c vahel, kui see paikneb ka a ja b vahel ning b ja c vahel, kui objektid asendatakse a, b ja c. Seega:
on võrdne
"On selline seos, nagu on"
on suurem kui
”Ja“
on vähem kui
”
On kahte tüüpi suhteid, mille jaoks puuduvad transitiivsed seadused: intransitiivsed suhted ja mittetransitiivsed suhted. Intransitiivne seos on selline, mis ei kehti a ja c vahel, kui see paikneb ka a ja b vahel ning b ja c vahel, kui objektid on asendatud a, b ja c. Seega:
on (bioloogiline) tütar
”On intransitiivne, sest kui Mary on Jane tütar ja Jane on Alice tütar, ei saa Mary olla Alice tütar. Samamoodi “
on ruut
Mittetransitiivne seos on selline, mis võib jääda või mitte olla a ja c vahel, kui see on ka a ja b vahel ning b ja c vahel, sõltuvalt a, b ja c asendatud objektidest. Teisisõnu, on vähemalt üks asendus, milles a ja c vaheline seos säilib, ja vähemalt üks asendus, millel see puudub. Suhted “
armastab
”Ja“
ei ole võrdne
”On näited.
