I have a theorem which says
Suppose A is a set. The following statements are equivalent:
1. A is countable
2. Either A = empty or there is a function f:z+ -> A that is onto.
3. There is a function f:A -> z+ that is one-to-one
I am supposed to use those however I am stuck....