https://en.formulasearchengine.com/index.php?action=history&feed=atom&title=Class_formation Class formation - Revision history 2026-05-19T23:04:29Z Revision history for this page on the wiki MediaWiki 1.43.0-wmf.28 https://en.formulasearchengine.com/index.php?title=Class_formation&diff=14518&oldid=prev en>Michael Hardy: obvious punctuation corrections required by WP:MOS 2014-02-03T18:08:22Z <p>obvious punctuation corrections required by <a href="/index.php?title=WP:MOS&amp;action=edit&amp;redlink=1" class="new" title="WP:MOS (page does not exist)">WP:MOS</a></p> <p><b>New page</b></p><div>In set theory and in the context of a [[large cardinal property]], a subset, &#039;&#039;S&#039;&#039;, of &#039;&#039;D&#039;&#039; is &#039;&#039;&#039;homogeneous&#039;&#039;&#039; for a function &#039;&#039;f&#039;&#039; if for some natural number &#039;&#039;n&#039;&#039;, &lt;math&gt;\mathcal{P}_{=n}(D)&lt;/math&gt; (see [[Powerset#Subsets of limited cardinality]]) is the domain of &#039;&#039;f&#039;&#039; and for some element &#039;&#039;r&#039;&#039; of the range of &#039;&#039;f&#039;&#039;, every member of &lt;math&gt;\mathcal{P}_{=n}(S)&lt;/math&gt; is mapped to &#039;&#039;r&#039;&#039;. That is, &#039;&#039;f&#039;&#039; is constant on the unordered &#039;&#039;n&#039;&#039;-tuples of elements of &#039;&#039;S&#039;&#039;.<br /> <br /> ==See also==<br /> *[[Ramsey&#039;s theorem]]<br /> <br /> {{settheory-stub}}<br /> [[Category:Large cardinals]]</div> en>Michael Hardy