well-ordered set

Цілком упорядкована множина