同値関係

a,b の間にある関係が成り立っており、それを a〜b と書くとき、これらに次のことが成り立っていれば、それを「同値関係」という。
(a)
(b)
(c)