Hindman's theorem

Named after N. Hindman.

Hindman's theorem

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