Geçişli hukuk, matematik ve mantıkta, “aRb ve bRc, o zaman aRc” formunun herhangi bir ifadesi, burada “R” belirli bir ilişkidir (ör.
eşittir
”), A, b, c değişkenlerdir (nesnelerle değiştirilebilecek terimler) ve a, b ve c'nin nesnelerle değiştirilmesinin sonucu her zaman gerçek bir cümledir. Geçiş yasalarına örnek olarak “a b'ye eşitse b b c'ye eşitse, a c'ye eşittir” dir. Bazı ilişkiler için geçiş yasaları vardır, ancak diğerleri için geçerli değildir. Geçişli ilişki, a, b ve c yerine herhangi bir nesne ikamesi için a ve b ile b ve c arasında tutarsa a ve c arasında tutan ilişkidir. Böylece,"
eşittir
”Gibi bir ilişki,“
daha büyüktür
" ve"
daha az
”
Geçiş yasaları olmayan iki tür ilişki vardır: geçişsiz ilişkiler ve geçişsiz ilişkiler. Geçişsiz bir ilişki, a, b ve c yerine herhangi bir nesne ikamesi için a ve b ile b ve c arasında tutarsa, a ve c arasında tutmayan ilişkidir. Böylece,"
(biyolojik) kızı
”Geçişsizdir, çünkü Mary Jane'in kızı ve Jane Alice'in kızı ise, Mary Alice'in kızı olamaz. Aynı şekilde “
karesi
“Geçişsiz bir ilişki, a, b ve c yerine ikame edilen nesnelere bağlı olarak a ve b arasında ve b ile c arasında tutarsa a ve c arasında tutabilecek veya tutamayabilecek ilişkidir. Başka bir deyişle, a ve c arasındaki ilişkinin geçerli olduğu en az bir ikame ve üzerinde olmayan en az bir ikame vardır. İlişkiler “
aşklar
" ve"
eşit değildir
”Bunlara örnektir.
