theorem Th10: :: YELLOW_8:10

for T being TopStruct
for B being Basis of T
for S being Subset of T st S in B holds
S is open