ویژگی خوش ترتیبی
well-ordering property
ترتیبی
ordinal
Mostowski collapsing theorem
قضیه تلاشی موستوسکی
مجموعه ای که هر زیر مجموعه آن , عضو مجموعه باشد.
مجموعه تراگذر
transitive set