A finite integer interval is a set with integers . Its cardinality is , including both endpoints. For example, contains five integers, although the real interval from to has length four.
Infinite integer intervals allow one or both endpoints to be unbounded. Statements about bounded gaps in words quantify over finite integer intervals; their endpoints are indices, rather than arbitrary real positions.
New to topics? Read the docs here!