Sequentially complete space

Summary