اصول موضوع تفکیک
type: Concept
preferred label: separation axioms @en
related: اصل موضوع انتخاب

قضیه باناخ-استون
type: Concept
preferred label: Banach-Stone theorem @en
related: اصل موضوع انتخاب

تابع انتخاب
type: Concept
broader: اصل موضوع انتخاب
preferred label: choice function @en

اصل موضوع انتخاب
type: Concept
broader: اصول موضوع نظریه مجموعه‌ها
narrower: تابع انتخاب
preferred label: axiom of choice @en
related: ساختار خوش ترتیب
related: مجموعه خوش‌ترتیب
related: لم زرن
related: اصول موضوع تفکیک
related: اصل موضوع خوش‌ترتیبی
related: روش اظهار
related: ویژگی خوش ترتیبی
related: قضیه باناخ-استون
related: اصل بازتاب (نظریه مجموعه)
scope note: اگر S دسته‌ای از مجموعه‌های دو به دو جدا از هم باشد، مجموعه‌ای چون R وجود دارد که اشتراکش با هریک از اعضای S مجموعه‌ای تک عضوی است.

اصل موضوع خوش‌ترتیبی
type: Concept
preferred label: well-ordering axiom @en
related: اصل موضوع انتخاب

اصول موضوع نظریه مجموعه‌ها
type: Concept
narrower: اصل موضوع انتخاب
preferred label: axioms of set theory @en

لم زرن
type: Concept
preferred label: Zorn lemma @en
related: اصل موضوع انتخاب

مجموعه خوش‌ترتیب
type: Concept
preferred label: well-ordered set @en
related: اصل موضوع انتخاب

ویژگی خوش ترتیبی
type: Concept
preferred label: well-ordering property @en
related: اصل موضوع انتخاب

اصل بازتاب (نظریه مجموعه)
type: Concept
preferred label: reflection principle (set theory) @en
related: اصل موضوع انتخاب

روش اظهار
type: Concept
preferred label: forcing method @en
related: اصل موضوع انتخاب

ساختار خوش ترتیب
type: Concept
preferred label: well ordered structure @en
related: اصل موضوع انتخاب