T è la lista di variabili

T := {{t 0, . . . , ts-1} | s = 2, . . . S } = {{t 0, t 1}, . . . , {t 0, . . . , t S-1}}.