well-order

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