A mixed-radix positional notation using factorials as place values: with . For lexicographic order on permutations, division by selects the next symbol when symbols remain; the remainder gives the rank within that block.
Factoradic indexing uses the factorial number system to rank or unrank permutations of an ordered -element set. For zero-based rank , write with . Read the digits from highest factorial down, selecting the indexed item from the remaining ordered elements and removing it.
For rank among permutations of , . Select index , giving , then index , giving , then the remaining : the result is . This produces a bijection between ranks and lexicographically ordered permutations.