for i being natural Number
for D being set holds i -tuples_on D = Funcs ((Seg i),D)