sequentially compact

for common Metric Space, compact sequentially compact

Def 20.1

is called sequentially compact if every sequence has a convergence sub-sequence with limit in

Lemma 20.2

for compact sequence
is closed is sequentially compact

Thm 20.3 21.1

and sequence compact or sequentially compact

1. is bounded
2. is closed