A mapping f from a set A onto a set B which is both an injection and a surjection; that is, for every element b of B there is a unique element a of A for which f(a) = b. Also known as bijective mapping.