well-ordered sequence

Мат. вполне упорядоченная последовательность