See [alg.is.permutation].