たいしょう‐りつ【対称律】 〔数〕ある集合の任意の2元に対して定義された関係〜について、a〜bならばb〜aという関係。反射律・推移律とともに同値の概念を規定する。 ⇒たい‐しょう【対称】