הפרדוקס של בורלי-פורטי – הבדלי גרסאות

לכול קבוצה סודרה היטב ניתן להתאים סודר,נתאים לקבוצת הסודרים את הסודר p.

ידוע כי A היא קבוצת כול הסודרים לכן גם p הוא איבר שלה,משמע הוא איזומורפי לקטע התחלי של A שנגדירו כ S<small>a</small> .