One-to-one correspondence between elements of two sets.