$(x,y)\in R$ ve $(y,z)\in R$ ise $(x,z)\in R$ olması geçişme özelliğidir. Ve bu şartı sağlayan bütün ikililer için bakmak gerekir. Birinin bittiği yer ile diğerinin başladığı yer aynıysa sizin de belirttiğiniz gibi bakmaya gerek yoktur. Zaten sağlanır.