well-ordering set

[计] 良序集