Плотность решетки $m$-степеней условных проблем

Рассматривается отношение $m$-сводимости на парах $(A,B)$, где $A$, $B$ – множества натуральных чисел. Множество $m$-степеней образует решетку. Доказывается, что эта решетка плотна.
Библиогр. 2.