is a function which is both an injection and surjection. In other words, if every element of the codomain is the image of exactly one element from the domain