Hindman's theorem

English

Etymology

Named after N. Hindman.

Proper noun

Hindman's theorem

1. (mathematics) A theorem stating that, if $S\,$ is an IP set and $S=C_{1}\cup C_{2}\cup ...\cup C_{n}$, then at least one $C_{i}\,$ contains an IP set.