Matematikte bir özellik. bağıntısı, A kümesi üzerinde tanımlı bir bağıntı olsun. ’nın her bir (x,y) ve (y,z) elemanları için (x,z)’nin de ’nın elemanı olması özeliğine, bağıntısının geçişme özeliği denir.
Geçişme özeliği olan bir bağıntıya kısaca geçişken denir.
A = {1, 2, 3} kümesinin kendi üzerine tanımlı bağıntı
= {(1,1), (1,2), (2,3), (1,3)} AA olsun. bağıntısında geçişme özelliği vardır. Çünkü;
(1,2)Î ve (2,3)Î iken (1,3)Î dır.
(1,1)Î ve (1,2)Î iken (1,2)Î dır.
