خوش‌ترتیب

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

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

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