(x,y)∈R ve (y,z)∈R ise (x,z)∈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.