well-orderliness

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