Sequential compactness
Redirect to:
Sequentially compact space