for D being non empty set
for i being natural Number
for x being Tuple of i,D holds dom x = Seg i