In fact there are various versions of Ramsey's theorem. The version we
present here is the one which is useful for our application, and
concerns subsets of the natural numbers. Ramsey's theorem is also often
phrased in terms of graphs, but it's fairly simple to transform one
form of the theorem into another.