Relasi biner: Perbedaan antara revisi

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

:<math>\forall_{a, b \in A}\quad (a,b) \in R \wedge (b,a) \in R \rightarrow a=b</math>

:<math>\forall_{a, b \in A}\quad a R b \wedge b R a \rightarrow a=b</math>

Relasi <math>\leq</math> bersifat anti-simetrik, karena <math>5 \leq 6</math> mengakibatkan <math>\lnot (6 \leq 5)</math>. Demikian juga jika ada ''p'' dan ''q'' yang terhadap mereka berlaku <math>p \leq q</math> dan <math>q \leq p</math> berarti <math>p = q</math>.