È una funzione che associa ad ogni intero positivo i la lista formata da tutti i valori in successione di a, calcolati in i:
N
{xi1, i2,i3 | i1 , i2 , i3∈N}
i
{(a(0))(i) , . . . , (a(#(l) - 1))(i) } = {x { i } ∪ {l 0} ,..., x { i } ∪ { l #(l)-1 }} = {x { i } ∪ (0,0) , . . . , x {i} ∪ (k,n-k-1)}