Given sets and .
Consider the sets and . That is, is the set of all ordered pairs where and . Similarly for .
(We deduce that the cardinality, or ‘size’, of is two times that of .)
It is known that there exists a bijection from to . Prove that there exists a bijection from to .