)これは明らかに同値関係である。