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