theorem :: CANTOR_1:2

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