is finite with elements if and only if there is a bijection between and

A set is denumerable (countably infinite) if and only if there exists a bijection between and (for convienience I will take to denote the positive integers rather than the alternative non-negative integers).

Define:

Because there are no common elements in and this is well defined and is a bijection between and

CB