for S being TopStruct holds the topology of S is open ;