I'm working on the exercises of Munkres' Topology. Section 30, exercise 1-a says: "Show that in a first-countable space, every one-point set is a set"
Now, I've seen the solution to this exercise and I believe it's wrong, because it assumes that a countable basis at x is a family of sets that get "arbitrarily small", that is, it's like a countable collection of balls of radius 1/n (I know the space doesn't need to be metrizable, I'm just giving the intuition). This assumption is wrong because there could be a strange topology in in which the neighbourhoods of 0 would be intervals of the form (-1-1/n,1+1/n). This is a countable basis at 0.
Now the counter example: with the finite complement topology. In this topology, it is and first countable, but no one-point set is a set.
Is this counter-example right? Thanks in advance