for T being non empty discrete TopStruct holds weight T = card the carrier of T