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

たいしょう-りつ [3] 【対称律】 ＝ ならば ＝ という性質。 が とある関係にあるならば， も とその関係にあるということ。