Def 8.5 [a,b] is sequentially closed imply (∃x=limn(xn))(a≤xn≤b)⟹a≤x≤b⟹x∈[a,b] Basically, all limits of it’s sub-sequences are in itself.