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