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