Finite repetition-free sequence
ID: finite-repetition-free-sequence
A finite repetition-free sequence in a set is an injective function from an initial segment of the natural numbers into , including the empty sequence for . For a finite set of size , the number of these sequences isThe order of each list is part of the data, so it can be enumerated without choosing an order on its underlying support.
New to topics? Read the docs here!