مجموعۀ خوش ترتیب

{well-ordered set} [ریاضی] مجموعه ای خطیْ مرتب که هر زیرمجموعۀ ناتهی آن دارای کوچک ترین عضو است

💡 به‌طور کلی، تعریف بازگشتی یک تابع در صورتی می‌تواند ایجاد گردد که دامنه آن خوش ترتیب باشد.

💡 مجموعه اعداد اعداد طبیعی خوش ترتیب است.

💡 کوچکترین عنصر ندارد و بنابراین خوش ترتیب نیست.

💡 مرتب‌سازی استاندارد رابطه کوچکترمساوی ≥ اعداد حقیقی مثبت، خوش ترتیب نیست، زیرا برای مثال، بازهٔ باز صفر تا یک شامل کوچکترین عنصر نیست.

💡 مرتب‌سازی استاندارد رابطه کوچکترمساوی (≥) اعداد طبیعی خوش ترتیب است و دارای این خاصیت است که هر عدد طبیعی غیرصفر یک عنصر پیشین یکتا دارد.