well ordering property

[ریاضیات] ویژگی خوشترتیبی