Exercise 1, § 6

A set E is infinite if and only if for each mapping $f$ of E into E there exists a non-empty subset S of E such that $S \neq E$ and $f(S) \subset S$.