for a being natural Number
for D being non empty set ex p being FinSequence of D st len p = a