show/hide this revision's text 1 [made Community Wiki]

I'm surprised nobody has mentioned "one-to-one function" for injection and "one-to-one correspondence" for bijection.