for A being set
for i being Element of NAT holds i -tuples_on A c= A *