for D being non empty set
for n being Nat st D is countable holds
n -tuples_on D is countable