:: deftheorem Def1 defines Cl_Seq FRECHET2:def 1 :
for T being non empty TopStruct
for A, b₃ being Subset of T holds
( b₃ = Cl_Seq A iff for x being Point of T holds
( x in b₃ iff ex S being sequence of T st
( rng S c= A & x in Lim S ) ) );