Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-19/4/i/a/solution

The partition relation means that for every coloring , there is with such that is constant on . Here denotes the subsets of of cardinality , and the subscript is the number of colors. The domain consists of subsets of size , not ordered tuples, and the definition also makes sense for infinite arity.

New to topics? Read the docs here!