Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Ascending tuples of integers

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?