for A being set
for D being non empty set
for m being Nat st A is D -prefix holds
D -multiCat is m -tuples_on A -one-to-one