for T being TopStruct holds {} is empty compact Subset of T