Hi everyone,
I'm trying to define the set of all tuples of ascending integers (any length, repetitions allowed). What is the best way to do this? Do I use Family()? I'd like to use this set enumerate the basis of a combinatorial free algebra.
Bonus question: Is it possible to add an extra label to each integer in the tuple?