Integer interval ($[a,b]\cap \mathbb{Z}$)

A finite integer interval is a set $\{a,a+1,\dots ,b\}$ with integers $a\le b$. Its length is $b-a+1$. Infinite integer intervals can also be defined by allowing one or both endpoints to be infinite; a bounded-gaps condition on words always quantifies over finite integer intervals.