Sifat Sifat Relasi Setangkup (symmetric ) dan Tolak setangkup ( antisymmetric ) Definis : Relasi R pada himpunan A disebut setangkup jika (a,b) R , Maka (b,a) R, unutuk semua a,b A. Dengan kata lain ,Definisi tesebut menyatakan bahwa relasi R pada himpunan A tidak setangkup jika (a,b) R sedemikian sehingga (b,a ) ∉ R. Definisi R pada himpunan A disebut toalk setangkup jika (a,b) R dan (a,b) R maka a=b ,untuk semua a,b A. Dengan kata lain, Definisi tersebut menyatakan bahwa jika (a,b) R. Maka (b,a) ∉ R kecuali a=b. Definisi tersebut juga menyatakan bahwa relasi R padahimpunan A tidak tolak setangkup jika ada elemen berbeda a dan b sedemikian (a,b) R dan (b,a) R. Refleksif ( revlexive ) Definisi : Relasi R pada himpunan A disebut refleksif jika (a,a) R untuk setiap a A Dengan kata lain, definisi tersebut menyatakan bahwa di dalam relasi refleksif setiap elmen di dalm A berhubungan dengan dirinya sendiri. Definisi tersebut juga menyatakan bahwa relasi R pada himpunan A Tidak Refleksif jika ada a A sedemikian sehingga ( a,a) ∉ R. Contoh-contoh berikut dapat memperjelas sifat relasi refleksif Menghantar ( transive) Definisi : Relasi R pada himpunan A disebut menghantar jika (a,b) ∈ R, untuk semua a,b,c ∈ A . Sebagai ilustrasi, misalkan A adalah himpunan orang, dan R adalah relasi pada A sedemikian sehingga (a,b) ∈ R jika dan hanya jika b adalah keturunan a.jelas,jika b adalah keturunan a, yaitu (a,b) ∈ R, dan c adalah keturunan b, yaitu (b,c) ∈ R,maka c juga keturunan a, yaitu (a,c) ∈ R.jadi, R adalah relasi menghantar.tetapi,jika T tidak menghantar.