The key notion of ITL is an interval. An interval σ is considered to be a (in)finite sequence of states σ0σ1….