良序函数

well ordered function