Nice name
ಸೆಟ್ ಸಿದ್ಧಾಂತದಲ್ಲಿ, ಸಾಮಾನ್ಯ ಮಾದರಿಯಲ್ಲಿನ ಉಪಗುಂಪುಗಳ ಸಂಖ್ಯೆಯ ಮೇಲೆ ಮೇಲಿನ ಮಿತಿಯನ್ನು ಹೇರಲು ಒತ್ತಾಯಿಸಲು ಒಳ್ಳೆಯ ಹೆಸರನ್ನು ಬಳಸಲಾಗುತ್ತದೆ. ಈಸ್ಟನ್ನ ಪ್ರಮೇಯದಂತಹ ಸೆಟ್ ಸಿದ್ಧಾಂತದಲ್ಲಿ ಸ್ವಾತಂತ್ರ್ಯದ ಫಲಿತಾಂಶಗಳನ್ನು ಸಾಬೀತುಪಡಿಸಲು ಒತ್ತಾಯಿಸುವ ಸಂದರ್ಭದಲ್ಲಿ ಇದನ್ನು ಬಳಸಲಾಗುತ್ತದೆ. ಔಪಚಾರಿಕ ವ್ಯಾಖ್ಯಾನ ZFC ಪರಿವರ್ತನಶೀಲವಾಗಿರಲಿ, ಇದು ಒತ್ತಾಯಿಸುವ ಕಲ್ಪನೆಯಾಗಿದೆ, ಮತ್ತು ಇದು ಸಾಮಾನ್ಯವಾಗಿದೆ ಎಂದು ಭಾವಿಸೋಣ. ನಂತರ ಯಾವುದೇ-ಹೆಸರಿಗೆ, ಈ ಕೆಳಗಿನ ಗುಣಲಕ್ಷಣಗಳನ್ನು ತೃಪ್ತಿಪಡಿಸುವ-ಹೆಸರಿನ ಉಪಗುಂಪಿಗೆ ಇದು ಉತ್ತಮ ಹೆಸರು ಎಂದು ನಾವು ಹೇಳುತ್ತೇವೆಃ (1) (2) ಎಲ್ಲಾ-ಹೆಸರುಗಳಿಗೆ, ಆಂಟಿಕೈನ್ ಅನ್ನು ರೂಪಿಸುತ್ತದೆ. (3) (ನೈಸರ್ಗಿಕ ಸೇರ್ಪಡೆ): ಇದ್ದರೆ, ಅಂತಹವು ಅಸ್ತಿತ್ವದಲ್ಲಿರುತ್ತವೆ. ಉಲ್ಲೇಖಗಳ ಒತ್ತಾಯ (ಗಣಿತ)