同値関係が定まってないと議論できないが