well-ordering property

Top