for i being natural Number
for D being set
for p being FinSequence of D st i in dom p holds
p . i in D