injective function
A function where no two inputs share an output, counted by a falling factorial.
An injective function from an n-set to an m-set sends distinct inputs to distinct outputs; there are m(m-1)\cdots(m-n+1) of them.
See also
Point table
Graph settings
Calculator