{well-ordering principle} [ریاضی] اصلی مبتنی بر اینکه برای هر مجموعۀ می توان ترتیبی تعریف کرد که آن مجموعه را خوش ترتیب کند