Refleksyvumas

Š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>, …}. Dvivietis santykis R yra refleksyvus, jei ir tik jei visiems x galioja, kad <x, x> ∈ R.