B that is a one-to-one correspondence: in this case it is both one-to-one and onto.Consider a function f:AB that is a one-to-one correspondence: in this case it is both one-to-one and onto.
Notice that if we turn the arrows around we have a function from B to A. This function is also a one-to-one correspondence.
){kind=link}