reducibility ordering

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