bijection

bijektio puhekieltä A one-to-one correspondence, a function which is both a surjection and an injection.
2002, Yves Nievergelt, Foundations of Logic and Mathematics, http://books.google.com.au/books?id=_H_nJdagqL8C&pg=PA214&dq=%22bijection%22%7C%22bijections%22&hl=en&sa=X&ei=Ug7dUrfpGc3jkgWAt4CYBA&redir_esc=yv=onepage&q=%22bijection%22%7C%22bijections%22&f=false page 214,

The present text has defined a set to be finite if and only if there exists a bijection onto a natural number, and infinite if and only if there does not exist any such bijection.

Note in particular that a function is a bijection if and only if it's both an injection and a surjection.

The basic idea is that two sets A and B have the same cardinality if there is a bijection from A to B. Since the domain and range of the bijection is not relevant here, we often refer to a bijection from A to B as a bijection between the sets, or a one-to-one correspondence between the elements of the sets.

(ux)