(Q659746)

English

well-order

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

  • well-ordering
  • well-order relation
  • wellorder
  • wellordering
  • well-ordered
  • well order
  • well ordering
  • well ordered

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit