A Bijection Bijection - Wikipedia (set theory) A one-to-one correspondence, a function which is both a surjection and an injection. Synonyms (function that is both a surjection and an injection): one-to-one correspondence
