Limit point

Limit points are points contained in the closure of every end piece

Let be a topological space, a sequence, and denote an end piece. Then is a Limit point of iff (closure) for all . #m/thm/topology

Proof

#missing/proof See @looseAlgebraischeTopologie2010, p. 19

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