well-ordered set

Вполне упорядоченное множество