What would happen if a one-to-one correspondence were defined as a one-to-one map in both directions instead of being one-to-one plus onto in only one direction? Charlie Silver