theorem Th18: :: FRECHET2:18

for T being non empty TopStruct
for A being Subset of T holds A c= Cl_Seq A