同値関係が明示されてないが。