A one-to-one correspondence (or bijection, bijective function) f is a function such that each element of its domain only appears once in all of its first coordinates and each element of its codomain only appears once in all of its second coordinates. A one-to-one correspondence is both an injection and a surjection.