I want to know the notation of a set $\mathcal{S} $ containing all $y $ that satisfy an equation $y = ax + b$ with $x \in \mathbb{Z}$, for example $2x - 5$ or $\pi x + \frac {5}{2}\pi$.
For instance, given the equation $y = 2x + 3$ ($x \in \mathbb{Z}$), the set of solutions would be $\mathcal{S} = \{\dots , 1, 3, 5, \dots \} $.
the notation is simple. in general: $$ \mathcal S = \{\textrm{element} | \textrm{constraints to the element}\} $$ in this case you could write (most used notation): $$ \mathcal S = \{ax+b| x \in \mathbb Z\} $$ or equivalently: $$ \mathcal S = \{y \in \mathbb R|y=ax+b, x \in \mathbb Z\} $$ or for the most compactness: $$ \mathcal S = a \mathbb Z+b $$