for A being non empty set
for n being Nat holds n -tuples_on A c= A *