Munkres introduce the $T_1$ separation axiom and proves the following theorem:
Let $A \subset X$ where $X$ is $T_1$. Then $x$ is a limit point of $A$ iff every neighborhood of $x$ contains infinitely many points of $A$.
He does this in the context of discussing when sequences have unique limit points. He goes on to prove that if a space is Hausdorff then it does have a unique limit point. But he stops talking about $T_1$ spaces. This made me wonder:
- Do $T_1$ spaces have unique sequential limits?
- If they don't, what point is Munkres trying to make? -- That is, "$T_1$ spaces don't have unique limits but they have this other more general property XYZ that gets us part way there", where I'm failing to understand what XYZ is.