序列式紧空间

sequentially compact space