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 is
The 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!