Однородный (большое кардинальное свойство) - Википедия - Homogeneous (large cardinal property)

В теории множеств и в контексте большая кардинальная собственность, подмножество, S, из D является однородный для функции ж если для некоторого натурального числа п, ${ Displaystyle { mathcal {P}} _ {= п} (D)}$ (видеть Powerset # Подмножества ограниченной мощности ) является областью ж и для какого-то элемента р из диапазона ж, каждый член ${ Displaystyle { mathcal {P}} _ {= п} (S)}$ отображается на р. То есть, ж постоянно на неупорядоченном п-наборы элементов S.^{[нужна цитата ]}

Смотрите также

• Теорема Рамсея

Этот теория множеств -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.