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

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

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

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

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

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

💡 کتابدار پس از ساعت‌ها کار مداوم، موفق شد یک مجموعۀ خوش ترتیب از کتاب‌های تاریخی و ادبی را در قفسه‌های اصلی کتابخانه به درستی مرتب کند.

💡 او در سال‌های اخیر توانسته است یک مجموعۀ خوش ترتیب از سکه‌های قدیمی و عتیقه را با دقت بسیار بالا برای نمایش در موزه جمع‌آوری کند.

💡 این هنرمند در نمایشگاه جدید خود، مجموعۀ خوش ترتیب از نقاشی‌های انتزاعی را به نمایش گذاشته که هر کدام پیامی متفاوت و عمیق را منتقل می‌کنند.