well-ordered operation

Мат. вполне упорядоченная операция