Relasi biner

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 formula_13 bersifat anti-simetrik, karena formula_14 mengakibatkan formula_15. Demikian juga jika ada "p" dan "q" yang terhadap mereka berlaku formula_16 dan formula_17 berarti formula_18.