はんしゃ‐りつ【反射律】 集合の要素ａに対して、ある関係〜が定められているとき、a〜aであるという法則。