упорядочение по сводимости

Мат. reducibility ordering