اصل موضوع انتخاب
axiom of choice
well-ordered set
مجموعه خوش‌ترتیب
ویژگی خوش ترتیبی
well-ordering property