Simetriškumas

Š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>, …}. Santyksi R yra simetriškas, jei ir tik jei visiems x ir y galioja, kad jei <x, y> ∈ R, tai <y, x> ∈ R.