noun
(set theory) A one-to-one correspondence, a function which is both a surjection and an injection.