دانشنامه ریاضی و کامپیوتر

مجموعه خوشترتیب مجموعه ای هست که هر زیرمجموعه دلخواه از اون دارای عضو ابتدا باشه. مثلا N
ثابت میشه که روی هر مجموعه ای میشه یه ترتیب تعریف کرد که اون مجموعه خوشترتیب باشه، مثلا روی R (البته پیدا کردن همچین رابطه ترتیب برای R یه سوال باز هست و تا حالا کسی نتونسته پیدا کنه ولی میدونیم میشه پیدا کرد)
حالا شما فرض کنید که R خوشترتیب شده باشه (از این به بعد دیگه میگیم S تا با R معمولی اشتباه نشه)
S دارای عضو ابتداست فرض کنیم s₀