well-ordering principle

Statement that all sets of positive numbers contains a least element

Categories: