Dictionary.com
Thesaurus.com

well-ordering theorem

American  
[wel-awr-der-ing] / ˈwɛlˈɔr dər ɪŋ /

noun

Mathematics.
  1. the theorem of set theory that every set can be made a well-ordered set.