Is one to one function the same as one to one correspondence?