A one-to-one correspondence requires a definite rule mapping each element, but no finite rule can be...