nonempty

💡 The mathematician emphasized a nonempty set contains at least one element, a trivial-sounding detail that prevents subtle paradoxes.

این ریاضیدان تأکید کرد که یک مجموعه غیرتهی حداقل شامل یک عنصر است، یک جزئیات به ظاهر بی‌اهمیت که از پارادوکس‌های ظریف جلوگیری می‌کند.

💡 One way of formalizing the idea is the following statement: Every nonempty subset of the real numbers that has an upper bound has a least upper bound.

یک راه برای رسمی‌سازی این ایده، عبارت زیر است: هر زیرمجموعه‌ی غیرتهی از اعداد حقیقی که دارای یک حد بالا باشد، یک حداقل حد بالا نیز دارد.

💡 This axiom, which most mathematicians use in their work, says that one can choose a single element of every set in a collection of nonempty sets.

این اصل، که اکثر ریاضیدانان در کار خود از آن استفاده می‌کنند، می‌گوید که می‌توان یک عنصر واحد از هر مجموعه در مجموعه‌ای از مجموعه‌های غیرتهی را انتخاب کرد.

💡 We verified the folder was nonempty before archiving, avoiding blank backups that frustrate restorations during outages.

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