Nice name
समुच्चय सिद्धांत में, सामान्य मॉडल में सबसेट की संख्या पर एक ऊपरी सीमा लागू करने के लिए एक अच्छे नाम का उपयोग किया जाता है। इसका उपयोग ईस्टन के प्रमेय जैसे सेट सिद्धांत में स्वतंत्रता के परिणामों को साबित करने के लिए मजबूर करने के संदर्भ में किया जाता है। औपचारिक परिभाषा मान लीजिए कि ZFC सकर्मक है, एक बाध्यकारी धारणा है, और मान लीजिए कि यह सामान्य है। फिर किसी भी नाम के लिए, हम कहते हैं कि यह एक ऐसे उपसमुच्चय के लिए एक अच्छा नाम है जो निम्नलिखित गुणों को संतुष्ट करने वाला एक नाम हैः (1) (2) सभी नामों के लिए, एक एंटीचेन बनाता है। (3) (प्राकृतिक जोड़): यदि, तो इसमें ऐसा कुछ मौजूद है। संदर्भ फोर्सिंग (गणित)