reducible preorder

Мат. приводимый предпорядок