二項関係

二項関係の中でも重要な概念である同値関係について紹介します。集合に対して、ある性質を持ったものをまとめて考える際によく用います。同値関係(equivalence relation)であるとは反射律、対称律、推移律を満たすことをいう。