A → mapping f from a → set A onto a set
B which is both an
→ injection and a → surjection.
More explicitly, for every element b of B there is a unique element
a of A for which f(a) = b.
Also known as → bijective mapping.
From bi- + → injection.