well-order

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

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

カテゴリ：

total orderwell-founded order