Def 8.5

is sequentially closed imply

Basically, all limits of it’s sub-sequences are in itself.