well-ordered domain

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