Hindman's theorem

English

Etymology

Named after N. Hindman.

Proper noun

1. Template:Lb 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.