for i being Nat
for D being non empty set
for p being FinSequence of D holds Del (p,i) is FinSequence of D