theorem :: CANTOR_1:3

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