An ordered (re)arrangement of the elements of a (finite) set; a function that is both a one-to-one and onto mapping of a set to itself.
Sources:
NIST SP 800-133 Rev. 2
An invertible function.
Sources:
NIST SP 800-38B
NIST SP 800-38D