for T being non empty TopStruct
for S being sequence of T st not S is convergent holds
Lim S = {}