反対称律
antisymmetric relation
集合$ S上の二項関係$ Rについて、任意の$ s,t\in Sに対して$ sRtかつ$ tRsならば$ s=tが成り立つ
具体例
全ての実数$ Sに対し、$ s\le tかつ$ t\le sならば$ s=tなので、$ leは反対称律を満たす
$ =は自明すぎるがこれもかmrsekut.icon
参考
https://ja.wikipedia.org/wiki/反対称関係