Definition 1.1.7.  Let S be a set. We define:
S is countably infinite  :⇔  |S| is countably infinite  ⇔  S is countable and S is infinite  ⇔  ∃ f : S ↔ ℕ
Equivalence.  No proof.
References.