First countability axiom Limit points are limits of convergent subsequences in a first-countable space Let be a first-countable topological space and be a sequence. Then is a Limit point of iff there exists a convergent subsequence . topology Proof proof See @looseAlgebraischeTopologie2010, p. 19 develop | en | sembr