# לפי ההגדרה המקובלת של קורטובסקי (Kazimierz Kuratowski), כל n-יה סדורה היא '''כן''' קבוצה (<math>(a,b):=\{\{a\},\{a,b\}\}</math> ו-n-יה סדורה מוגדרת רקורסיבית כזוג סדור, שהאיבר הראשון שלו הוא האיבר הראשון ב-n-יה הסדורה, והאיבר השני הוא ה-(n-1)-יה הסדורה שנותרה, כלומר: <math>(a_1,a_2,\cdots,a_n):=(a_1,(a_2,\cdots,a_n))</math>).
# לא הייתי בטוח איך לנסח את זה, אבל כשכתבתי "מספר האיברים ב-<math>b_i</math>" התכוונתי למספר ה"רכיבים": מספר האיברים/רכיבים ב-<math>(a_1,a_2,\cdots,a_n)</math> הוא n. ברור לי שזה לא אותו דבר כמו עוצמה (הרי העוצמה של n-יה סדורה היא 1 או שניים).
# לא עניתם על השאלה: האם מותר לומר שמספר הרכיבים ב-<math>b_i</math> הוא <math>|B|</math>, או שצריך להוכיח? תודה, [[משתמש:אור שחף|אור שחף]], [[שיחת משתמש:אור שחף|שיחה]], 18:55, 20 באוגוסט 2010 (IDT)
==מותר?==