\bigvee_{q,r\in Z}(x=qm+r \wedge 0\leq r<|m|)