well-ordered species

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