Tranzityvumas

Šiuolaikinėje aibių teorijoje n-vietis santykis suprantamas kaip aibė n-viečių sutvarkytų aibių. Pavyzdžiui, dvivietis santykis < (mažiau nei) suprantamas kaip aibė dviviečių sutvarkytų aibių (kitaip – porų). Ši aibė atrodo daugmaž taip: {<0, 1>, <0, 2>, <1, 2>, <1, 3>, <123123, 32412411>, …}. Santykis R yra tranzityvus, jei ir tik jei visiems x, y ir z galioja, kad jei <x, y> ir <y, z> ∈ R, tai <x, z> ∈ R.