\{m+n\alpha\,:\,m,n\in\mathbb Z\}