- #1

- 16

- 0

|A|<|N|

set A is nonempty finite set

natural number N is denumerable (infinite countable set)

|A|<|N| if there exist a injective (one-to-one) function f: A->N, but NO bijective function, which means NO surjective (onto) function

How to prove it in detail???

Help please!!!