В книжечке Роджерса сводимость массовой проблемы

к массовой проблеме

определяется соотношением

,
где

некое производное оператора перечисления (

).
Вопрос, в чем смысл такого направления включения? Вроде как логично было бы наоборот; так получается, что какие-то функции из

остаются (могут остаться) "снаружи", стало быть, какая же это сводимость?
Роджерс поясняет сей момент так "Может создаться ошибочное впечатление, что

и

фигурируют в определении в порядке, обратном к применявшемуся ранее в определениях сводимости других типов". Вот оно у меня и создалось ;(
Статью Медведева как-то с ходу не удалось найти.
(Оффтоп)
Любопытно было бы также узнать что-нибудь о самом Медведеве.
Нашел только, что он был аспирантом Колмогорова, вместе с Успенским, и это практически все.
Последняя (найденая) статья датируется 1972 годом.