Nice name
தொகுப்புக் கோட்பாட்டில், பொதுவான மாதிரியில் உள்ள துணைக்குழுக்களின் எண்ணிக்கையில் மேல் வரம்பை விதிக்க கட்டாயப்படுத்துவதில் ஒரு நல்ல பெயர் பயன்படுத்தப்படுகிறது. ஈஸ்டனின் தேற்றம் போன்ற தொகுப்புக் கோட்பாட்டில் சுதந்திரத்தை நிரூபிக்க கட்டாயப்படுத்தும் சூழலில் இது பயன்படுத்தப்படுகிறது. முறையான வரையறை ZFC நிலையற்றதாக இருக்கட்டும், இது ஒரு கட்டாயக் கருத்தாகும், மேலும் இது பொதுவானது என்று வைத்துக்கொள்வோம். பின்னர் எந்தவொரு பெயருக்கும், பின்வரும் பண்புகளை திருப்திப்படுத்தும் ஒரு-பெயர் என்றால் ஒரு துணைக்குழுவிற்கு இது ஒரு நல்ல பெயர் என்று நாங்கள் கூறுகிறோம்ஃ (1) (2) அனைத்து பெயர்களுக்கும், ஒரு ஆன்டிசைனை உருவாக்குகிறது. (3) (இயற்கையான சேர்க்கை): இருந்தால், அது போன்ற ஒன்று உள்ளது. குறிப்புகள் கட்டாயப்படுத்துதல் (கணிதம்)