集合S上の二項関係Rについて、任意のs,t\in Sに対してsRtかつtRsならばs=tが成り立つ

具体例

全ての実数Sに対し、s\le tかつt\le sならばs=tなので、leは反対称律を満たす

=は自明すぎるがこれもか

参考