well-ordered relation

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