Definition a function f:S→T is “bijective” (one-to-one correspondence) if it is injective and surjective One-to-one