Bir bağıntıda (a,b) sıralı ikilisi b ile bittiğinden b ile başlayan örneğin (b,c) bulunuyorsa bbnin dışında kalan (a,c) de bulunmalıdır. Eğer aynı değer ile bitip aynı değer ile başlayan başka bir sıralı ikili yoksa geçişkenlik aranmadan var sayılır.
