> Injective and surjective are more "international", but those English names are fine as well

Thanks! one-to-one and onto is the terminology my American courses are using.

> What's missing is that the function sshould map a set onto itself.

Just for the record I initially stated "a permutation is just a one-to-one and onto function from a set to itself" as you say it must.