for D being non empty set
for d being Element of D
for k being natural Number holds k |-> d is FinSequence of D