ویژگی خوش ترتیبی
preferred label: well-ordering property @en
type: Concept
narrower: مجموعه تراگذر

ترتیبی
preferred label: ordinal @en
type: Concept
broader: مجموعه تراگذر

قضیه تلاشی موستوسکی
preferred label: Mostowski collapsing theorem @en
type: Concept
related: مجموعه تراگذر

مجموعه تراگذر
scope note: مجموعه ای که هر زیر مجموعه آن , عضو مجموعه باشد.
narrower: ترتیبی
related: قضیه تلاشی موستوسکی
broader: ویژگی خوش ترتیبی
preferred label: transitive set @en
type: Concept