Sequentially closed set (source code)

= Sequentially closed set

A <sequentially closed set> is one that contains every limit of its convergent sequences. This is weaker than being a <closed set> in a general <topological space>, but the two conditions agree in <metric spaces>.