for i, j being natural Number
for A being set
for D being non empty set st i -tuples_on D = j -tuples_on A holds
i = j