خوش‌ترتیب

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

خوش ترتیب و یا یکخوش‌ترتیبی در ریاضیات، مجموعه و رابطه‌ای کاملاً مرتب است که هر زیر مجموعه غیر تهی از آن یک عضو مینیمال داشته باشد. به این مجموعه مجموعه خوش ترتیب می‌گویند و این رابطه خوش ساخت را یک خوش ترتیبی می‌نامند.

تعریف ریاضی[ویرایش]

مجموعه کاملاً مرتب (A,\le) خوش‌ترتیب نامیده می‌شود اگر و تنها اگر هر مجموعه غیرتهی B از A شامل عضو منحصر به فرد مینیمالی باشد، یعنی عضوی مانند b \in B موجود باشد که به ازای هر x \in B داشته باشیم b \le x، که آن را کوچکترین عضو نامند. در این صورت به \le رابطه خوش‌ترتیب می‌گویند.لطفا این متن را کسترش دهید، رضا

منبع[ویرایش]

جستارهای وابسته[ویرایش]