同値関係
二項関係
で、以下の3つの性質を満たす
反射律
対称律
推移律