خوش‌ترتیب: تفاوت میان نسخه‌ها

 

== فرمول‌های معادل ==

# مجموعه خوش ترتیب است. به این معنا که هر زیر مجموعه از آن داراری کوچکترین عضو است.

# استقرای ترامتناهی برای مجموعه داخلی کار میکند.

# هر کاهش دادن موکد از عناصر مجموعه باید پس از چند قدم متناهی خاتمه یابد.

# هر زیرمرتب سازی هم ارز با بخش اولیه است.

 

== جستارهای وابسته ==