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

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

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

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