1: \begin{definition}[Additive Ramsey Theorem]

2: \label{def:additive-ramsey}

3: The \emph{Additive Ramsey Theorem} is the following statement: for every finite semigroup $(S, {*})$ and every colouring $\fun{\colA}{[\Nn]^2}{S}$ such that for every $i \! < \! j \! < \! k$ we have $\colA(i,j) * \colA(j, k) = \colA(i, k)$, there exists an infinite homogeneous set $I \subseteq \Nn$. That is, there is a fixed color $a$ such that for every $(i, j) \in [I]^2$, $\colA(i, j) = a$.

4: \end{definition}

5: