Equivalent Conditions for Dedekind-Infinite Set

Theorem
For a set $S$, the following conditions are equivalent:
 * $(1): \quad$ $S$ is Dedekind-infinite.
 * $(2): \quad$ $S$ has a countably infinite subset.

The above equivalence can be proven in Zermelo-Fraenkel set theory.

If the axiom of countable choice is accepted, then it can be proven that the following condition is also equivalent to the above two:
 * $(3): \quad$ $S$ is infinite.