はんたいしょう‐りつ【反対称律】 集合の要素ａがｂに対してある関係にあり、かつｂもａに対して同じ関係にあるなら、a=bであるという法則。