Definition (PR subset). $D\subseteq \mathbb{N}$ is partition regular if it contains solutions to all partition regular equations.