Finite sets and injective maps