Relasi Anti-simetrik

Relasi Anti-simetrik

Jika setiap a dan b yang terhubung hanya terhubung salah satunya saja (dengan asumsi a dan b berlainan), maka relasi macam ini disebut relasi anti-simetrik.

atau

Dalam kebanyakan literatur biasanya ditulis sebagai kontraposisinya seperti di bawah ini. Keuntungan bentuk ini adalah tidak mengandung negasi, dan hanya mengandung satu implikasi.

atau

Relasi bersifat anti-simetrik, karena mengakibatkan . Demikian juga jika ada p dan q yang terhadap mereka berlaku dan berarti p = q.