О сводимости проблем разрешения перечислимых множеств к проблемам отделимости

Доказываются две теоремы, сопоставление которых наводит на мысль о возможности обобщения понятия сводимости алгоритмических проблем.