What's the diference between $A<\infty$ and $A<\aleph_0$? In my topology class the teacher gave some examples of topologies, and I'm trying to prove that they really are topologies. If $X$ is a set then:


*

*$\mathcal C=\{A:\# (X-A)<\infty\}$ is a topology in $X$.

*$\mathcal C'=\{A:\# (X-A)<\aleph_0\}$ is a topology in $X$.


I've already proved that $\mathcal C$ is a topology, but I don't know what to do for $\mathcal C'$, what's the diference?

In fact, the two collections are one and the same. To see this, note first that if $S$ is any set, $\#S<\infty$ means that $S$ has finitely many elements, while $\
\#S<\aleph_0$ means that there is an injection from $S$ to the set of natural numbers, but there is no surjection. This is equivalent to $S$ being finite, because if $S$ were infinite, then there would exist a surjective function from $S$ to $\mathbb N$ (that is, you could assign numeric labels, one on each element of $S$, such that every natural number is labeled onto some element; this is possible if you assume the axiom of choice), which is a contradiction.

As pointed out by @PeteL.Clark, my previous answer was incorrect, in which I erroneously interpreted $\aleph_0$ as $\#\mathbb R$, whereas, in reality, $\aleph_0=\#\mathbb N$. I apologize.
