たいしょう‐りつ【対称律】 集合の要素ａ、ｂに対してある関係〜が定められていて、a〜bならばb〜aであるという法則。