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 . #m/thm/topology

#state/develop | #lang/en | #SemBr