Definition
: A set
\(A\)
is
countably infinite
means it is the same size as
\(\mathbb{N}\)
.