Given a non empty subset S of \mathbb{N}
Show that either there is a unique n\epsilon \mathbb{N} for which there is a unique increasing bijective function u:n \to S, or there is a unique increasing bijection u:\mathbb{N} \to S. Moreoevr u is unique for this property.