well-order

total order such that every nonempty subset of the domain has a least element

en-US/ˈwɛl - ˈɑɹdɚ/
en-GB/ˈwɛl - ˈɔːdə/

Catégories :

total orderwell-founded order