Jabarkan atau dari Relasi biner

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