Nice name
سیٹ تھیوری میں، عام ماڈل میں ذیلی سیٹوں کی تعداد پر اوپری حد عائد کرنے پر مجبور کرنے کے لیے ایک اچھا نام استعمال کیا جاتا ہے۔ یہ ایسٹون تھیوریم جیسے سیٹ تھیوری میں آزادی کے نتائج کو ثابت کرنے کے لیے مجبور کرنے کے تناظر میں استعمال ہوتا ہے۔ رسمی تعریف ZFC کو عارضی ہونے دیں، ایک مجبور کرنے والا تصور، اور فرض کریں کہ یہ عام ہے۔ پھر کسی بھی نام کے لیے، ہم کہتے ہیں کہ یہ ایک ایسے ذیلی سیٹ کے لیے ایک اچھا نام ہے جو کہ ایک نام ہے جو مندرجہ ذیل خصوصیات کو پورا کرتا ہے: (1) (2) تمام ناموں کے لیے، ایک اینٹیچین بناتا ہے۔ (3) (قدرتی اضافہ): اگر، تو اس میں ایسی چیز موجود ہے۔ حوالہ جات فورسنگ (ریاضی)