〜がを説明文に含む言葉

すいい‐りつ【推移律】

集合の要素a、b、cに対して、ある関係〜が定められていて、a〜bかつb〜cならばa〜cであるという法則。移動律。

たいしょう‐りつ【対称律】

集合の要素a、bに対してある関係〜が定められていて、a〜bならばb〜aであるという法則。

はんしゃ‐りつ【反射律】

集合の要素aに対して、ある関係〜が定められているとき、a〜aであるという法則。