:: deftheorem SeqDef defines Cl_Seq ROUGHS_4:def 26 :
for T being non empty TopSpace
for b₂ being map of T holds
( b₂ = Cl_Seq T iff for A being Subset of T holds b₂ . A = Cl_Seq A );