Homogeneous (large cardinal property)

In set theory and in the context of a large cardinal property, a subset, S, of D is homogeneous for a function f if for some natural number n, \mathcal{P}_{=n}(D) (see Powerset#Subsets of limited cardinality) is the domain of f and for some element r of the range of f, every member of \mathcal{P}_{=n}(S) is mapped to r. That is, f is constant on the unordered n-tuples of elements of S.

See also

This article is issued from Wikipedia - version of the 9/9/2011. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.