# the real line generated by usual open sets and cocountable sets is Hausdorff

I just read an article about anti-compact. The article states that one of an example anti-compact, i.e.,if all compact sets are finite, Hausdorff but not discrete is the real line generated by usual open sets and cocountable sets.

My question is how to prove that the real line with that topology is Hausdorff?

Given distinct $x,y\in \mathbb R$, use the usual open sets that would separate them in the usual topology, and these will also separate them in the new topology since it is strictly finer. In other words, do the same thing you would do for the standard topology.