A set is countably infinite if there exists a function such that is bijective, where is the set of Natural numbers.