WikiDer > Bir hil (katta kardinal xususiyat) - Vikipediya

To'siq nazariyasida va a katta kardinal mulk, pastki qism, S, ning D. bu bir hil funktsiya uchun f agar biron bir tabiiy son uchun bo'lsa n, ${ displaystyle { mathcal {P}} _ {= n} (D)}$ (qarang Powerset # cheklangan kardinallik to'plamlari) ning domeni f va ba'zi bir element uchun r oralig'ining f, har bir a'zosi ${ displaystyle { mathcal {P}} _ {= n} (S)}$ xaritada ko'rsatilgan r. Anavi, f tartibsizlarda doimiy bo'ladi nning elementlari S.^{[iqtibos kerak]}

Shuningdek qarang

• Ramsey teoremasi

Bu to'plam nazariyasibilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. v t e