well-ordered set

💡 The theorem extends naturally if you assume the domain is a well ordered set.

اگر فرض کنید دامنه یک مجموعه خوش‌ترتیب است، این قضیه به‌طور طبیعی گسترش می‌یابد.

💡 Computer scientists use a well ordered set to prove termination via decreasing measures.

دانشمندان کامپیوتر از یک مجموعه خوش‌ترتیب برای اثبات خاتمه از طریق معیارهای نزولی استفاده می‌کنند.

💡 In a well ordered set, every nonempty subset has a least element by definition.

در یک مجموعه خوش‌ترتیب، طبق تعریف، هر زیرمجموعه غیرتهی دارای کوچکترین عنصر است.