theorem Th17: :: FRECHET2:17

for T being non empty TopStruct holds Cl_Seq ({} T) = {}