はんしゃ‐りつ【反射律】 〔数〕ある集合の2元の間の関係〜について、任意のａに対してa〜aが成り立つとき、この関係〜は反射律を満たすという。推移律・対称律とともに同値の概念を規定する。 ⇒はん‐しゃ【反射】