for i being natural Number
for D being non empty set
for z being set holds
( z is Tuple of i,D iff z in i -tuples_on D )