Factorial number system

A mixed-radix positional notation using factorials as place values: $n={\sum }_{i\ge 1}{a}_{i}i!$ with $0\le a_i\le i$. For lexicographic order on permutations, division by $(k-1)!$ selects the next symbol when $k$ symbols remain; the remainder gives the rank within that block.