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

Вводится понятие генерического отношения алгоритмических проблем, которое сохраняет свойство разрешимости проблемы для почти всех входов и обладает свойством транзитивности. В отличие от классического отношения $m$-сводимости, введённое генерическое отношение не обладает свойством рефлексивности: строится пример рекурсивно перечислимого множества, генерически несравнимого с самим собой. Строится также пример полного множества относительно этого отношения в классе рекурсивно перечислимых множеств.