اصل خوش‏ترتیبی

اصلی مبتنی بر اینکه برای هر مجموعۀ می‌توان ترتیبی تعریف کرد که آن مجموعه را خوش‏ترتیب کند