The Canonical Ramsey's Theorem

Let be a colouring (not necessarily finite here). Then there is an infinite set with one of the following:

1. either is constant on ;
2. or is injective on ;
3. or iff (for all and in );
4. or iff (for all and in ).